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

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.

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.

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

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
|

|