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
Linhas de Pesquisa
Objetivos do Programa
Admissão e Matrícula
Exigências para Obtenção dos Títulos de
Mestre e Doutor
Estrutura Curricular
Corpo Docente

Mestrado e Doutorado

Reconhecimento:
Homologado pelo CNE (Portaria MEC 524, DOU 30/04/2008 - Parecer CES/CNE 33/2008, de  20/02/2008). Tendo sido avaliado com conceito 7.

Titulos atribuídos:

Mestre em Informática e/ou

Doutor em Ciências - Informática

Voltar

Áreas de Concentração

Mestrado


Ciências da Computação
Matemática Computacional

Doutorado

Programação e Teoria da Computação

Voltar

INFORMAÇÕES
Prazos de Inscrição e Documentos
-----------------------------------
Contatos
E-mails:
:: pos@inf.puc-rio.br
Telefones:
(21) 3527-1512/1513
Fax:
(21) 3527-1530
Coordenador
Prof. Edward Hermann Haeusler
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ária:
-
Deborah de Barros Fagundes Gonçalves
-Emanuelle Oliveira

   
Ementa de Disciplina

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


---------------------------------------------------------------------------------------------
Linhas de Pesquisa

Algoritmos, Paralelismo e Otimização
Banco de Dados
Computação Gráfica
Engenharia de Software
Hipertexto e Hipemídia
Inteligência Artificial
Interação Humano-Computador
Linguagens de Programação
Redes de Computadores e Sistemas Distribuídos
Teoria da Computação

Voltar

Objetivos do Programa


A Pós-Graduação em Informática visa formar especialistas em ciências de computação e na formulação e resolução automática de problemas. O Programa compreende dois níveis: o Mestrado e o Doutorado. O Mestrado visa formar pessoal de alto nível para a industria, 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


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 firma onde este trabalha, indicando ter o mesmo interesse em propociar 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 firma (no caso de aluno de tempo parcial) e, se necessário, entrevista.

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


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.

Ter um plano de estudos aprovado pela Comissão de Pós-Graduação.

Ser aprovado em exame de língua inglesa.

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 duas línguas estrangeiras: inglês e francês ou alemão.

A língua já testada no Mestrado será computada no Doutorado.

Apresentar, defender e ser aprovado em Tese de Doutorado (INF 3001).


Voltar


Estrutura Curricular


Mestrado

Disciplinas Obrigatórias
Créditos
Dissertação de Mestrado
0
Exame de Proposta de Dissertação
0


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


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


Doutorado

Disciplinas Obrigatórias
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
0
Exame de Proposta de Tese
0



Mestrado e Doutorado


Trabalhos individuais

Disciplinas Eletivas
Créditos
Trabalhos Individuais em Engenharia de Software I
1
Trabalhos Individuais em Engenharia de Software II
2
Trabalhos Individuais em Engenharia de Software III
3
Trabalho Individual em Engenharia de Software IV
1
Trabalho Individual em Engenharia de Software V
2
Trabalho Individual em Engenharia de Software VI
3
Trabalhos Individuais em Matemática Aplicada I
1
Trabalhos Individuais em Matemática Aplicada II
2
Trabalhos Individuais em Matemática Aplicada III
3
Trabalhos Individuais em Teoria da Computação I
1
Trabalhos Individuais em Teoria da Computação II
2
Trabalhos Individuais em Teoria da Computação III
3
Trabalhos Individuais em Sistemas de Computação I
1
Trabalhos Individuais em Sistemas de Computação II
2
Trabalhos Individuais em Sistemas de Computação III
3
Pesquisa de Tese de Doutorado I (1)
3
Pesquisa de Tese de Doutorado II (1)
3
Pesquisa de Tese de Doutorado III (1)
3
Pesquisa de Tese de Doutorado IV (1)
3
Estudo Orientado
3
Trabalhos Individuais em Computação Gráfica I
1
Trabalhos Individuais em Computação Gráfica II
2
Trabalhos Individuais em Computação Gráfica III
3
Trabalhos Individuais em Inteligência Artificial I
1
Trabalhos Individuais em Inteligência Artificial II
2
Trabalhos Individuais em Inteligência Artificial III
3
Trabalhos Individuais em Banco de Dados I
1
Trabalhos Individuais em Banco de Dados II
2
Trabalhos Individuais em Banco de Dados III
3
Trabalho Individual em Linguagens de Programação I
1
Trabalho Individual em Linguagens de Programação II
2
Trabalho Individual em Linguagens de Programação III
3
Trabalho Individual em Algoritmos, Paralelismo e Otimização I
1
Trabalho Individual em Algoritmos, Paralelismo e Otimização II
2
Trabalho Individual em Algoritmos, Paralelismo e Otimização III
3

(1) As disciplinas INF 2051/54 podem ser usadas para avaliar o desempenho do aluno na pesquisa para sua tese de doutorado; por essa razão, têm como pré-requisito INF 3004. Todavia, esse pré-requisito pode ser dispensado, a título excepcional, pela Comissão de Pós-Graduação do Departamento, mediante requerimento formal apresentado previamente pelo aluno.


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 Matemática Aplicada I
3
Tópicos de Matemática Aplicada II
3
Tópicos de Matemática Aplicada III
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 Rede e Sistemas de Computação I
3
Tópicos de Rede e Sistemas de Computação II
3
Tópicos de Rede e Sistemas de 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 Inteligência Artificial I
3
Tópicos de Inteligência Artificial II
3
Tópicos de Inteligência Artificial III
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 Algoritmos, Paralelismo e Otimização I
3
Tópicos de Algoritmos, Paralelismo e Otimização II
3
Tópicos de Algoritmos, Paralelismo e Otimização III
3


Disciplinas Eletivas de Conteúdo Fixo
Créditos
Compiladores
3
Linguagem de Programação I
3
Linguagem de Programação II
3
Laboratório de Programação
3
Projeto de Sistemas de Software
3
Especificação de Sistemas II
3
Lógica Matemática
3
Lógicas Não Clássicas
3
Especificações Formais
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
Análise do Métodos Variacionais
3
Análise dos Métodos dos Elementos Finitos
3
Software Numérico para Equações Diferenciais
3
Métodos Numéricos para Equações Diferenciais
3
Análise Numérica II
3
Sistemas de Computação I
3
Sistemas de Computação II
3
Redes de Computadores
3
Modelagem e Simulação Discreta de Sistemas
3
Fundamentos de Sistemas Multimídia
3
Engenharia de Redes
3
O Desenvolvimento de Aplicações Distribuídas
3
Computação Gráfica Interativa
3
Modelagem e Gerência de Interfaces com o Usuário
3
Síntese de Imagens Realistas
3
CAD Inteligente
3
Animação por Computador
3
Inteligência Artificial I
3
Inteligência Artificial II
3
Linguística Computacional Interativa
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. Edward Hermann Haeusler

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

Antonio Luz Furtado 
Doutor, University of Toronto, Canadá
Banco de Dados
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

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


Luiz Fernando Gomes Soares
Doutor, PUC-Rio, Brasil
Redes de Computadores e Sistemas Distribuídos, Hipertexto e Multimídia
CurrículoLattes

Karin Koogan Breitman
Doutor, PUC-Rio, Brasil
Banco de Dados, Engenharia de Software
Página Pessoal
Currículo Lattes

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

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

Renato Fontoura de Gusmão Cerqueira
Doutor, PUC-Rio, BrasilRedes de Computadores e Sistemas Distribuídos, Linguagens de Programação, Engenharia de Software
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

Simone Diniz Junqueira Barbosa
Doutora, PUC-Rio, Brasil
Interação Humano-Computador, Engenharia de Software
Página Pessoal
CurrículoLattes

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


Voltar


PUC-Rio -Rodapé
Selo da PUC-Rio