Programa de Pós-Graduação em Informática
Sobre o programa
- Apresentação
- Objetivos do Programa
- Áreas de Concentração
- Reconhecimento do curso
- Exigências para obtenção dos títulos de Mestre e Doutor
- Estrutura curricular
- Corpo docente (titulação, linhas de pesquisa, currículo Lattes)
Admissão e Matrícula (seleção de candidatos para o programa)
Atividades acadêmicas previstas
Contatos:
E-mail: pos@inf.puc-rio.br
Telefones: (21) 3527-1510
Coordenador:
Local:
Departamento de Informática
Rua Marquês de São Vicente, 225
CEP:22453-900 Gávea Rio de Janeiro RJ
Horário de atendimento:
9:30 às 12:00 e de 14:00 às 16:30 h
Secretários
Cosme Pereira Leal
Sobre o programa
Apresentação
O Departamento de Informática da PUC-Rio oferece, em nível de Pós-graduação stricto sensu, cursos de Mestrado (desde 1967, o primeiro no país na área) e Doutorado (desde 1975), ambos com avaliação 7 pela CAPES.
Objetivos do Programa
O Programa compreende dois níveis: o Mestrado e o Doutorado. O Mestrado visa formar pessoal de alto nível para a indústria, organismos do governo e estabelecimentos de ensino e pesquisa. O Doutorado tem como objetivo a formação de docentes de alto nível para estabelecimentos de ensino e pesquisa.
Áreas de concentração
Mestrado e Doutorado
- Banco de Dados
- Ciência de Dados
- Computação Gráfica
- Engenharia de Software
- Hipertexto e Multimídia
- Interação Humano-Computador
- Linguagens de Programação
- Otimização e Raciocínio Automático
- Redes de Computadores e Sistemas Distribuídos
- Teoria da Computação
Reconhecimento do curso
Mestrado e Doutorado
Reconhecimento:
Avaliado pela CAPES com conceito 7, para o quadriênio 2013-2016, e reconhecido pela homologação do parecer CNE/CES nº 487/2018, através da Portaria do MEC nº 609 de 14/03/2019 publicada no D.O.U. nº 52 de 18/03/2019, p. 81.
Títulos atribuídos:
Mestre em Informática ou Doutor em Ciências – Informática
Exigência para obtenção dos títulos de Mestre e Doutor
Mestrado
- Obter um mínimo de 24 créditos em diciplinas de Pós-Graduação.
- Ser aprovado em exame de língua inglesa.
- Ser aprovado no Exame de Proposta de Dissertação (INF3006)
- Apresentar, defender e ser aprovado em Dissertação de Mestrado (INF3000).
Doutorado
- Cumprir o Requisito Básico e ser aprovado no Exame de Qualificação (INF3004) e no Exame de Proposta de Tese (INF3007).
- Obter um mínimo de 48 créditos, sendo que o título de mestre poderá equivaler a até 24 créditos, a critério da Comissão de Pós-Graduação.
- Ser aprovado em exame de suficiência de leitura e escrita em inglês.
- Apresentar, defender e ser aprovado em Tese de Doutorado (INF3001).
Admissão e Matrícula
Mestrado
Além dos requisitos gerais regulamentares, o Departamento de Informática exige dos candidatos:
- Ser graduado em curso superior que tenha proporcionado experiência e conhecimentos suficientes para acompanhar os cursos e participar dos trabalhos.
- Ter conhecimentos mínimos equivalentes aos conteúdos das disciplinas de Graduação da PUC-RIO:
MAT1101 - Cálculo I
MAT1200 - Álgebra Linear I
MAT1205 - Álgebra II
MAT1600 - Introdução à Análise
INF1001 - Introdução à Ciência dos Computadores
ELE1829 - Probabilidade e Estatística - Caso o candidato seja de tempo parcial, uma carta da empresa onde este trabalha, indicando ter o mesmo interesse em proporcionar condições para que o candidato curse a Pós-Graduação.
- Ser aceito pelo Departamento com base no curriculum vitae, no histórico escolar, em cartas de recomendação (no mínimo duas), na carta de apresentação da empresa (no caso de aluno de tempo parcial) e, se necessário, entrevista.
- É fortemente recomendado que o candidato tenha dados do Exame Nacional para Ingresso na Pós-Graduação em Computação (POSCOMP): http://www.sbc.org.br/educacao/poscomp
Doutorado
Além dos requisitos gerais regulamentares, o Departamento de Informática exige dos candidatos:
- Ter diploma de Mestre em Informática (Ciência da Computação) ou área afim. Este requisito pode ser dispensado pela Comissão de Pós-Graduação do Departamento e pelas demais instâncias regulamentares.
- Ser aceito pelo Departamento com base no curriculum vitae, nos históricos escolares da graduação e da pós-graduação, em cartas de recomendação (no mínimo duas), um plano de trabalho com concordância do futuro orientador e, se necessário, em entrevista.
Estrutura curricular
Mestrado
Todo aluno de Mestrado do Departamento deverá cursar um conjunto de disciplinas consideradas, em princípio, obrigatórias, definido pela Comissão de Pós-Graduação.
Atualmente, este conjunto é composto pelas seguintes disciplinas:
Código | Nome da Disciplina | Créditos |
INF2061 | Seminários | 1 |
INF2102 | Projeto Final de Programação | 1 |
INF2926 | Projeto e Análise de Algoritmos | 4 |
INF3006 | Exame de Proposta de Dissertação | 0 |
INF3000 | Dissertação de Mestrado | 0 |
LET3101 | Exame de Língua Estrangeira: Suficiência de Leitura em Inglês | 0 |
E por uma disciplina de base matemática, escolhida dentre as seguintes:
Código | Nome da Disciplina | Créditos |
INF2127 | Linguagens Formais e Autômatos | 3 |
INF2217 | Lógica e Especificação | 3 |
INF2218 | Computabilidade | 3 |
INF2406 | Análise Numérica I | 3 |
INF2604 | Geometria Computacional | 3 |
INF2608 | Fundamentos de Computação Gráfica | 3 |
INF2912 | Otimização Combinatória | 3 |
Doutorado
Todo aluno de Doutorado do Departamento deverá cursar ou obter equivalência de um conjunto de disciplinas consideradas obrigatórias, definido pela Comissão de Pós-Graduação, além das disciplinas consideradas obrigatórias para o Mestrado. Atualmente, este conjunto é composto pelas seguintes disciplinas:
Código | Disciplinas | Créditos |
LET3101 | Exame de Proficiência em Língua Estrangeira (Inglês) | 0 |
INF3001 | Tese de Doutorado | 0 |
INF3002 | Requisito Básico de Doutorado | 0 |
INF3004 | Exame de Qualificação para o Doutorado | 0 |
INF3007 | Exame de Proposta de Tese | 0 |
Mestrado e Doutorado
Disciplinas Eletivas de Conteúdo Variável
Código | Tópicos Especiais | Créditos |
INF2005 | Tópicos de Engenharia de Software I | 3 |
INF2006 | Tópicos de Engenharia de Software II | 3 |
INF2007 | Tópicos de Engenharia de Software III | 3 |
INF2020 | Tópicos de Engenharia de Software IV | 3 |
INF2021 | Tópicos de Engenharia de Software V | 3 |
INF2022 | Tópicos de Engenharia de Software VI | 3 |
INF2030 | Tópicos de Banco de Dados I | 3 |
INF2031 | Tópicos de Banco de Dados II | 3 |
INF2032 | Tópicos de Banco de Dados III | 3 |
INF2033 | Tópicos da Teoria Computação I | 3 |
INF2034 | Tópicos da Teoria da Computação II | 3 |
INF2035 | Tópicos da Teoria Computação III | 3 |
INF2062 | Tópicos de Computação Gráfica I | 3 |
INF2063 | Tópicos de Computação Gráfica II | 3 |
INF2064 | Tópicos de Computação Gráfica III | 3 |
INF2180 | Tópicos de Linguagens do Programação IV | 3 |
INF2181 | Tópicos de Linguagens do Programação V | 3 |
INF2290 | Tópicos de Teoria da Computação IV | 3 |
INF2291 | Tópicos de Teoria da Computação V | 3 |
INF2390 | Tópicos de Banco de Dados IV | 3 |
INF2391 | Tópicos de Banco de Dados V | 3 |
INF2590 | Tópicos de Redes de Computadores e Sistemas Distribuídos I | 3 |
INF2591 | Tópicos de Redes de Computadores e Sistemas Distribuídos II | 3 |
INF2592 | Tópicos de Redes de Computadores e Sistemas Distribuídos III | 3 |
INF2593 | Tópicos de Redes de Computadores e Sistemas Distribuídos IV | 3 |
INF2594 | Tópicos de Redes de Computadores e Sistemas Distribuídos V | 3 |
INF2690 | Tópicos de Computação Gráfica IV | 3 |
INF2691 | Tópicos de Computação Gráfica V | 3 |
INF2790 | Tópicos de Interação Humano-Computador I | 3 |
INF2791 | Tópicos de Interação Humano-Computador II | 3 |
INF2792 | Tópicos de Interação Humano-Computador III | 3 |
INF2793 | Tópicos de Interação Humano-Computador IV | 3 |
INF2794 | Tópicos de Interação Humano-Computador V | 3 |
INF2810 | Tópicos de Linguagens do Programação I | 3 |
INF2811 | Tópicos de Linguagens do Programação II | 3 |
INF2812 | Tópicos de Linguagens do Programação III | 3 |
INF2890 | Tópicos de Hipertexto e Multimídia I | 3 |
INF2891 | Tópicos de Hipertexto e Multimídia II | 3 |
INF2892 | Tópicos de Hipertexto e Multimídia III | 3 |
INF 2893 | Tópicos de Hipertexto e Multimídia IV | 3 |
INF 2894 | Tópicos de Hipertexto e Multimídia IV | 3 |
INF2920 | Tópicos de Engenharia de Software IV | 3 |
INF2921 | Tópicos de Engenharia de Software V | 3 |
INF2922 | Tópicos de Engenharia de Software VI | 3 |
INF2978 | Tópicos de Otimização e Raciocínio Automático I | 3 |
INF2979 | Tópicos de Otimização e Raciocínio Automático II | 3 |
INF2890 | Tópicos de Otimização e Raciocínio Automático III | 3 |
INF2891 | Tópicos de Otimização e Raciocínio Automático IV | 3 |
INF2892 | Tópicos de Otimização e Raciocínio Automático V | 3 |
Código | Disciplinas Eletivas de Conteúdo Fixo | Créditos |
INF2106 | CSistemas de Componentes de Software | 3 |
INF2107 | Compiladores | 3 |
INF2122 | Linguagem de Programação I | 3 |
INF2123 | Linguagem de Programação II | 3 |
INF2125 | Projeto de Sistemas de Software | 3 |
INF2130 | Evolução de Software | 3 |
INF2131 | Engenharia de Requisitos | 3 |
INF2132 | Engenharia de Groupware | 3 |
INF2133 | Tecnologias de Informação Aplicadas à Educação | 3 |
INF2134 | Teste e Medição de Software | 3 |
INF2135 | Processos e Ambientes de Desenvolvimento de Software | 3 |
INF2136 | Programação Orientada a Objetos | 3 |
INF2211 | Teoria das Categorias | 3 |
INF2319 | Construção de Sistemas de Gerência de Banco de Dados | 3 |
INF2324 | Bancos de Dados Distribuídos | 3 |
INF2325 | Banco de Dados Não Convencionais | 3 |
INF2326 | Bancos de Dados Inteligentes | 3 |
INF2327 | Projeto de Aplicações de Banco de Dados | 3 |
INF2328 | Tópicos em Tecnologias de Bancos de Dados para a Web Semântica | 3 |
INF2414 | Métodos Numéricos para Equações Diferenciais | 3 |
INF2416 | Análise Numérica II | 3 |
INF2505 | Redes de Computadores | 3 |
INF2509 | Modelagem e Simulação Discreta de Sistemas | 3 |
INF2540 | Redes de Alta Velocidade | 3 |
INF2542 | Algoritmos Distribuídos | 3 |
INF2544 | Programação Concorrente e Paralela | 3 |
INF2545 | Sistemas Distribuídos | 3 |
INF2546 | Seminários em Sistemas Distribuídos | 3 |
INF2607 | Animação por Computador | 3 |
INF2609 | Inteligência Artificial em Jogos 3D | 3 |
INF2610 | Renderização em Tempo Real | 3 |
INF2611 | Computação Gráfica Avançada | 3 |
INF2613 | Esquemas Conceituais de Narrativas | 3 |
INF2705 | Linguística Computacional Interativa | 3 |
INF2706 | LIntrodução à Interação Humano-Computador | 3 |
INF2707 | Engenharia Semiótica | 3 |
INF2708 | Interfaces Inteligentes | 3 |
INF2709 | Projeto de Interação Humano-Computador Baseado em Modelos | 3 |
INF2710 | Research Design and Academic Writing | 3 |
INF2801 | Fundamentos de Sistemas Multimídia | 3 |
INF2802 | Autoria de Aplicações Hipermídia | 3 |
INF2911 | Inteligência Computacional e Metaheurística | 3 |
INF2927 | Tópicos Avançados em Algoritmos | 3 |
INF2928 | Algoritmos e Biologia Computacional | 3 |
Atenção:
Além dessas, podem ser cursadas como disciplinas eletivas, como disciplinas de outros Departamentos da Universidade, a critério do orientador do aluno e da Comissão de Pós-Graduação do Departamento.
Corpo docente
Coordenador de pós-graduação: Prof. José Alberto Sardinha
Docentes: Titulação e Linhas de pesquisa
Alberto Barbosa Raposo
Doutor, UNICAMP, Brasil
Computação Gráfica, Interação Humano-Computador
Página Pessoal
Currículo Lattes
Alessandro Fabricio Garcia
Doutor, PUC-Rio, Brasil
Engenharia de Software
Página Pessoal
Currículo Lattes
Bruno Feijó
Doutor, Imperial College, Inglaterra
Computação Gráfica
Currículo Lattes
Eduardo Sany Laber
Doutor, PUC-Rio, Brasil
Ciência de Dados, Otimização e Raciocínio Automático, Teoria da Computação
Página Pessoal
Currículo Lattes
Edward Hermann Hæusler
Doutor, PUC-Rio, Brasil
Teoria da Computação
Página Pessoal
Currículo Lattes
Greis Francy Mireya Silva Calpa
Doutora, PUC-Rio, Brasil
Computação Visual e Centrada em Humanos
Página Pessoal
Currículo Lattes
Helio Côrtes Vieira Lopes
Doutor em Matemática, PUC-Rio, Brasil
Ciência de Dados, Computação Gráfica, Otimização e Raciocínio Automático
Página Pessoal
Currículo Lattes
José Alberto Sardinha
Doutor, PUC-Rio, Brasil
Inteligência Artificial, Teoria da Computação e Otimização
Página Pessoal
Currículo Lattes
Juliana Alves Pereira
Doutora, Otto-von-Guerocke Universität Magdeburg, Alemanha
Engenharia de Software
Página Pessoal
Currículo Lattes
Marcelo Gattass
Doutor, Cornell University, EUA
Computação Gráfica
Página Pessoal
Currículo Lattes
Marco Antonio Casanova
Doutor, Harvard University, EUA
Banco de Dados, Ciência de Dados
Página Pessoal
Currículo Lattes
Marco Serpa Molinaro
Doutor, Carnegie Mellon University, EUA
Otimização e Raciocínio Automático, Teoria da Computação
Página Pessoal
Currículo Lattes
Marcos Kalinowski
Doutor, COPPE/UFRJ, Brasil
Ciência de Dados, Engenharia de Software
Página Pessoal
Currículo Lattes
Marcus Vinicius Soledade Poggi de Aragão
Doutor, Ecole Polytechnique de Montréal, Canadá
Otimização e Raciocínio Automático
Página Pessoal
Currículo Lattes
Markus Endler
Doutor, Technische Univ. Berlin, Alemanha
Redes de Computadores e Sistemas Distribuídos, Ciência de Dados
Página Pessoal
Currículo Lattes
Paulo Ivson Netto Santos
Doutor, PUC-Rio, Brasil
Computação Visual e Centrada em Humanos
Página Pessoal/
Currículo Lattes
Roberto Ierusalimschy
Doutor, PUC-Rio, Brasil
Linguagens de Programação
Página Pessoal
Currículo Lattes
Sérgio Colcher
Doutor, PUC-RIO, Brasil
Hipertexto e Multimídia, Redes de Computadores e Sistemas Distribuídos
Página Pessoal
Currículo Lattes
Sérgio Lifschitz
Doutor em Bancos de Dados (ENST, Paris, França)
Banco de Dados, Ciência de Dados
Página Pessoal
Currículo Lattes
Simone Diniz Junqueira Barbosa
Doutora, PUC-Rio, Brasil
Ciência de Dados, Interação Humano-Computador
Página Pessoal
Currículo Lattes
Thibaut Victor Gaston Vidal
Doutor, Université de Montréal, Canadá
Ciência de Dados, Otimização e Raciocínio Automático
Página Pessoal
Currículo Lattes
Waldemar Celes Filho
Doutor, PUC-Rio, Brasil
Computação Gráfica
Página Pessoal
Currículo Lattes
Professores Colaboradores:
Antonio Luz Furtado (Professor Emérito)
Doutor, University of Toronto, Canadá
Banco de Dados
Currículo Lattes
Carlos José Pereira de Lucena
Doutor, University of California at Los Angeles, EUA
Engenharia de Software
Página Pessoal
Currículo Lattes
Clarisse Sieckenius de Souza (Professora Emérita)
Doutora, PUC-Rio, Brasil
Interação Humano-Computador
Página Pessoal
Currículo Lattes