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
- 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 triênio 2010-2012, e reconhecido pela homologação do parecer CNE/CES nº 288/2015, através da Portaria do MEC nº 656 de 22/05/2017 publicada no D.O.U. nº 97 de 23/05/2017, p. 25.
Título atribuído:
Mestre em Informática ou Doutor em Ciências – Informática
|

Exigências 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
(INF
3000).
Doutorado
-
Cumprir o Requisito Básico e ser aprovado no Exame de Qualificação
(INF 3004) e no
Exame de Proposta de Tese (INF
3007).
- 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 (INF
3001).

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:
MAT 1101 - Cálculo
I
MAT 1200 - Álgebra
Linear I
MAT 1205 - Álgebra
II
MAT 1600 - Introdução
à Análise
INF 1001 - Introdução
à Ciência dos Computadores
ELE
1829 - 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
|
|
Seminários |
1
|
|
Projeto
Final de Programação |
1
|
|
Projeto
e Análise de Algoritmos |
4
|
|
Exame
de Proposta de Dissertação |
0
|
|
Dissertação
de Mestrado |
0
|
|
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
|
|
Linguagens
Formais e Autômatos |
3
|
|
Lógica
e Especificação |
3
|
|
Computabilidade |
3
|
|
Análise
Numérica I |
3
|
|
Geometria
Computacional |
3
|
|
Fundamentos de Computação Gráfica |
3
|
|
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:
Disciplinas
|
Créditos
|
|
Exame
de Proficiência em Língua Estrangeira (Inglês) |
0
|
|
Tese
de Doutorado |
0
|
|
Requisito
Básico de Doutorado |
0
|
|
Exame
de Qualificação para o Doutorado |
0
|
|
Exame
de Proposta de Tese |
0
|
Mestrado e Doutorado
Disciplinas
Eletivas de Conteúdo Variável
Tópicos Especiais
|
Créditos
|
|
Tópicos
de Engenharia de Software I |
3
|
|
Tópicos
de Engenharia de Software II |
3
|
|
Tópicos
de Engenharia de Software III |
3
|
|
Tópicos
de Engenharia de Software IV |
3
|
|
Tópicos
de Engenharia de Software V |
3
|
|
Tópicos de Engenharia de Software VI |
3
|
|
Tópicos
de Banco de Dados I |
3
|
|
Tópicos
de Banco de Dados II |
3
|
|
Tópicos
de Banco de Dados III |
3
|
|
Tópicos
da Teoria Computação I |
3
|
|
Tópicos
da Teoria da Computação II |
3
|
|
Tópicos
da Teoria Computação III |
3
|
|
Tópicos
de Computação Gráfica I |
3
|
|
Tópicos
de Computação Gráfica II |
3
|
|
Tópicos
de Computação Gráfica III |
3
|
|
Tópicos de Linguagens do Programação IV |
3
|
|
Tópicos
de Linguagens do Programação V |
3
|
|
Tópicos de Teoria da Computação IV |
3
|
|
Tópicos de Teoria da Computação V |
3
|
|
Tópicos de Banco de Dados IV |
3
|
|
Tópicos de Banco de Dados V |
3
|
|
Tópicos de Redes de Computadores e Sistemas Distribuídos I |
3
|
|
Tópicos de Redes de Computadores e Sistemas Distribuídos II |
3
|
|
Tópicos de Redes de Computadores e Sistemas Distribuídos III |
3
|
|
Tópicos de Redes de Computadores e Sistemas Distribuídos IV |
3
|
|
Tópicos de Redes de Computadores e Sistemas Distribuídos V |
3
|
|
Tópicos de Computação Gráfica IV |
3
|
|
Tópicos de Computação Gráfica V |
3
|
|
Tópicos de Interação Humano-Computador I |
3
|
|
Tópicos de Interação Humano-Computador II |
3
|
|
Tópicos de Interação Humano-Computador III |
3
|
|
Tópicos de Interação Humano-Computador IV |
3
|
|
Tópicos de Interação Humano-Computador V |
3
|
|
Tópicos de Linguagens do Programação I |
3
|
|
Tópicos de Linguagens do Programação II |
3
|
|
Tópicos de Linguagens do Programação III |
3
|
|
Tópicos de Hipertexto e Multimídia I |
3
|
|
Tópicos de Hipertexto e Multimídia II |
3
|
|
Tópicos de Hipertexto e Multimídia III |
3
|
|
Tópicos de Hipertexto e Multimídia IV |
3
|
|
Tópicos de Hipertexto e Multimídia IV |
3
|
|
Tópicos de Engenharia de Software IV |
3
|
|
Tópicos de Engenharia de Software V |
3
|
|
Tópicos de Engenharia de Software VI |
3
|
|
Tópicos de Otimização e Raciocínio Automático I |
3
|
|
Tópicos de Otimização e Raciocínio Automático II |
3
|
|
Tópicos de Otimização e Raciocínio Automático III |
3
|
|
Tópicos de Otimização e Raciocínio Automático IV |
3
|
|
Tópicos de Otimização e Raciocínio Automático V |
3
|
Disciplinas
Eletivas de Conteúdo Fixo |
Créditos
|
|
CSistemas de Componentes de Software |
3
|
|
Compiladores |
3
|
|
Linguagem
de Programação I |
3
|
|
Linguagem
de Programação II |
3
|
|
Projeto
de Sistemas de Software |
3
|
|
Evolução de Software |
3
|
|
Engenharia de Requisitos |
3
|
|
Engenharia de Groupware |
3
|
|
Tecnologias de Informação Aplicadas à Educação |
3
|
|
Teste e Medição de Software |
3
|
|
Processos e Ambientes de Desenvolvimento de Software |
3
|
|
Programação Orientada a Objetos |
3
|
|
Teoria das Categorias |
3
|
|
Construção
de Sistemas de Gerência de Banco de Dados |
3
|
|
Bancos
de Dados Distribuídos |
3
|
|
Banco
de Dados Não Convencionais |
3
|
|
Bancos de Dados Inteligentes |
3
|
|
Projeto de Aplicações de Banco de Dados |
3
|
|
Tópicos em Tecnologias de Bancos de Dados para a Web Semântica |
3
|
|
Métodos
Numéricos para Equações Diferenciais |
3
|
|
Análise
Numérica II |
3
|
|
Redes
de Computadores |
3
|
|
Modelagem
e Simulação Discreta de Sistemas |
3
|
|
Redes de Alta Velocidade |
3
|
|
Algoritmos Distribuídos |
3
|
|
Programação Concorrente e Paralela |
3
|
|
Sistemas Distribuídos |
3
|
|
Seminários em Sistemas Distribuídos |
3
|
|
Animação
por Computador |
3
|
|
Inteligência Artificial em Jogos 3D |
3
|
|
Renderização em Tempo Real |
3
|
|
Computação Gráfica Avançada |
3
|
|
Esquemas Conceituais de Narrativas |
3
|
|
Linguística
Computacional Interativa |
3
|
|
LIntrodução à Interação Humano-Computador |
3
|
|
Engenharia Semiótica |
3
|
|
Interfaces Inteligentes |
3
|
|
Projeto de Interação Humano-Computador Baseado em Modelos |
3
|
|
Research Design and Academic Writing |
3
|
|
Fundamentos de Sistemas Multimídia |
3
|
|
Autoria de Aplicações Hipermídia |
3
|
|
Inteligência Computacional e Metaheurística |
3
|
|
Tópicos Avançados em Algoritmos |
3
|
|
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. Eduardo Sany Laber
Docentes - Titulação e Linha de Pesquisa
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
Carlos José Pereira de Lucena
Doutor, University of California at Los Angeles, EUA
Engenharia de Software
Página Pessoal
CurrículoLattes
Clarisse Sieckenius de Souza
Doutora, PUC-Rio, Brasil
Interação Humano-Computador
Página Pessoal
CurrículoLattes
Daniel Schwabe
Doutor, University of California at Los Angeles, EUA
Hipertexto e Multimídia, Dados
Página Pessoal
CurrículoLattes
Eduardo Sany Laber
Doutor, PUC-Rio, Brasil
Otimização e Raciocínio Automático, Teoria da Computação, Dados
Página Pessoal
CurrículoLattes
Edward Hermann Hæusler
Doutor, PUC-Rio, Brasil
Teoria da Computação, Linguagens de Programação
Página Pessoal
CurrículoLattes
Helio Côrtes Vieira Lopes
Doutor em Matemática, PUC-Rio, Brasil
Computação Gráfica, Otimização e Raciocínio Automático, Dados
Página Pessoal
Currículo Lattes
Julio Cesar Sampaio do Prado Leite
Doutor, University of California at Irvine, EUA
Engenharia de Software
Página Pessoal
CurrículoLattes
Marcelo Gattass
Doutor, Cornell University, EUA
Computação Gráfica
Página Pessoal
CurrículoLattes
Marco Antonio Casanova
Doutor, Harvard University, EUA
Banco de Dados, Dados
Página Pessoal
CurrículoLattes
Marco Kalinowski
Doutor, COPPE/UFRJ, Brasil
Engenharia de Software
Página Pessoal
Currículo Lattes
|
|
Marco Serpa Molinaro
Doutor em Algoritmos, Combinatória e Otimização (Carnegie Mellon University, Estados Unidos). Área de atuação: Otimização e Raciocínio Automático
Página Pessoal
CurrículoLattes
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ículoLattes
Markus Endler
Doutor, Technische Univ. Berlin, Alemanha
Redes de Computadores e Sistemas Distribuídos, Linguagens de Programação, Dados
Página Pessoal
CurrículoLattes
Noemi da La Rocque Rodriguez
Doutor, PUC-Rio, Brasil
Redes de Computadores e Sistemas Distribuídos, Linguagens de Programação
Página Pessoal
CurrículoLattes
Roberto Ierusalimschy
Doutor, PUC-Rio, Brasil
Linguagens de Programação
Página Pessoal
CurrículoLattes
Ruy Luiz Milidiú
Doutor, University of California at Berkeley, EUA
Otimização e Raciocínio Automático
CurrículoLattes
Sérgio Colcher
Doutor, PUC-RIO, Brasil
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
Página Pessoal
Currículo Lattes
Simone Diniz Junqueira Barbosa
Doutora, PUC-Rio, Brasil
Interação Humano-Computador, Engenharia de Software
Página Pessoal
CurrículoLattes
Thibaut Victor Gaston Vidal
Doutor, Université de Montréal, Canadá & Université de Technologie de Troyes, França
Otimização e Raciocínio Automático, Dados
Página Pessoal
Currículo Lattes
Waldemar Celes Filho
Doutor, PUC-Rio, Brasil
Computação Gráfica
Página Pessoal
CurrículoLattes
Professor Colaborador:
Arndt von Staa
Doutor, University of Waterloo, Canadá
Engenharia de Software
Página Pessoal
Currículo Lattes
|

|