Pular para o conteúdo da página
Brasão da PUC-Rio

Coordenação Central de Pós-Graduação e Pesquisa

Programa de Pós-Graduação em Informática

Contatos:

E-mail: pos@inf.puc-rio.br
Telefones: (21) 3527-1510


Coordenador:

Prof. José Alberto Sardinha


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

 


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
Doutorado

 

 

Admissão e Matrícula

Mestrado

Além dos requisitos gerais regulamentares, o Departamento de Informática exige dos candidatos:

Doutorado

Além dos requisitos gerais regulamentares, o Departamento de Informática exige dos candidatos:

 


Estrutura curricular

Ementa de disciplina
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