Brasão

> Pós-Graduação > Mestrado e Doutorado >

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

 

Pós-Graduação
 
Áreas de Concentração
Objetivos do Programa
Admissão e Matrícula
Reconhecimento do Curso
Exigências para Obtenção dos
Títulos de Mestre e Doutor
Estrutura Curricular
Corpo Docente
item Atividades acadêmicas previstas

 

 

 

 

Voltar

INFORMAÇÕES
Prazos de Inscrição e Documentos
-----------------------------------
Contatos
E-mails:
:: pos@inf.puc-rio.br
Telefones:
(21) 3527-1510
Coordenador
Prof. Alberto Barbosa Raposo
Secretaria

Local:
Departamento de Informática
Rua Marquês de São Vicente, 225 22453-900 Gávea Rio de Janeiro RJ
Horário de Atendimento:
de 9:30 às 12:00 e de 14:00 às 16:30 horas
Secretários:
- Regina Maria Zanon da Silva
- Cosme Pereira Leal

   
Ementa de Disciplina

 Digite o código
 da disciplina e  pressione a
 tecla ENTER


 


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.

Voltar


Á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

Voltar


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

Voltar


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).

Voltar


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.

Voltar


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
1
Tópicos de Redes de Computadores e Sistemas Distribuídos II
2
Tópicos de Redes de Computadores e Sistemas Distribuídos III
3
Tópicos de Redes de Computadores e Sistemas Distribuídos IV
1
Tópicos de Redes de Computadores e Sistemas Distribuídos V
2
Tópicos de Computação Gráfica IV
3
Tópicos de Computação Gráfica V
1
Tópicos de Interação Humano-Computador I
2
Tópicos de Interação Humano-Computador II
3
Tópicos de Interação Humano-Computador III
1
Tópicos de Interação Humano-Computador IV
2
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.

Voltar


Corpo Docente

Coordenador de Pós-Graduação: Prof. Alberto Barbosa Raposo

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

Arndt von Staa  
Doutor, University of Waterloo, Canadá 
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
Página Pessoal
CurrículoLattes

Eduardo Sany Laber
Doutor, PUC-Rio, Brasil
Otimização e Raciocínio Automático, Teoria da Computação
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
Página Pessoal 
Currículo Lattes

Hugo Fuks  
Doutor, Imperial College, Inglaterra 
Engenharia de Software
Página Pessoal
CurrículoLattes

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
Página Pessoal
CurrículoLattes

 


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
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 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
Página Pessoal
Currículo Lattes

Waldemar Celes Filho 
Doutor, PUC-Rio, Brasil
Computação Gráfica
Página Pessoal
CurrículoLattes


Professor Colaborador:
Antonio Luz Furtado (Professor Emérito)
Doutor, University of Toronto, Canadá 
Banco de Dados
Currículo Lattes

 


Voltar