O Departamento de Informática

(1)

177

| Áreas de Concentração Banco de Dados Computação Gráfica Engenharia de Software Hipertexto e Multimídia Interação Humano-Compu-tador Linguagens de Programação Otimização e Raciocínio Automático Redes de Computadores e Sistemas Distribuídos Teoria da Computação Programa de Pós-Graduação em

Informática

Mestrado e Doutorado

Departamento de Informática

O Departamento de Infor-mática (DI) da PUC-Rio tem o mais antigo programa de pós-gradua-ção na área de Ciência da Com-putação no Brasil e também o pri-meiro a receber, em 2004, o con-ceito 7, nível máximo de excelên-cia em ensino e pesquisa junto à CAPES, Coordenação de Aperfei-çoamento de Pessoal de Nível Superior. Este conceito resulta de ampla e criteriosa avaliação trienal e é dada exclusivamente a progra-mas com nível de excelência e reconhecimento internacional na respectiva área.

Em mais de 40 anos de exis-tência, o programa titulou mais de 1100 mestres e mais de 300 dou-tores, sendo inúmeros deles, hoje, docentes de programas de

pós-graduação de universidades públi-cas e privadas em todo o país.

O DI oferece aos formandos uma boa experiência para a práti-ca profissional, tanto em ativida-des de docência quanto em ativi-dades de pesquisa. Esta visão está alinhada com as estratégias das agências atuantes nos progra-mas de pós-graduação, cujas ações recentes enfatizam a impor-tância de possibilitar aos pós-graduandos conhecer em maior profundidade as atividades de docência e pesquisa que virão cer-tamente a desempenhar em seu futuro profissional.

Maiores informações podem ser encontradas no Website do Departamento de Informática: : www.inf.puc-rio.br.

(2)

178

| Objetivos do Programa

O programa de pós-graduação do DI compreen-de dois níveis: mestrado e doutorado. O mestrado visa formar pessoal de alto nível para a indústria, organismos do governo e estabelecimentos de ensi-no e pesquisa. O doutorado tem como objetivo a formação de pesquisadores de alto nível para cen-tros de pesquisa e estabelecimentos de ensino.

| Admissão e Matrícula Mestrado

Além dos requisitos gerais regulamentares, es-tabelecidos pelo Ministério da Educação e pela PUC-Rio, o DI exige de um candidato ao mestrado:

Ser graduado em curso superior que tenha pro-porcionado experiência e conhecimentos sufici-entes para acompanhar os cursos e realizar tra-balhos práticos e monográficos;

Se aluno de tempo parcial, vinculado a empresa durante o curso, uma carta da empresa em ques-tão manifestando interesse e compromisso de dar condições a seu funcionário para realizar o programa de mestrado;

Ser aprovado no exame de seleção do DI, cuja chamada é semestralmente publicada no

Website_{do departamento. A seleção é feita com}

base no currículo acadêmico e profissional do candidato, nas cartas de recomendação apresen-tadas, histórico escolar e demais credenciais re-levantes, como a pontuação no POSCOMP, GRE e assemelhados.

O POSCOMP, exame nacional para a pós-gradu-ação em Ciência da Computpós-gradu-ação, promovido pela Sociedade Brasileira da Computação, não é obriga-tório, mas é fortemente recomendado para candida-tos que desejem reforçar o seu perfil por terem gra-duação em outra área de conhecimento, terem reali-zado a graduação há mais tempo, terem alguma reprovação no histórico escolar, terem diploma de instituição pouco conhecida, ou por qualquer outra condição semelhante. Candidatos do exterior são fortemente aconselhados a apresentar seu resulta-do no POSCOMP ou GRE

Doutorado

Além dos requisitos gerais regulamentares, es-tabelecidos pelo Ministério da Educação e pela PUC-Rio, o DI exige de um candidato ao doutorado:

Ter título 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 DI, em casos excepcionais);

Ser aceito como candidato por um docente do quadro permanente da Pós-Graduação do DI e com ele elaborar um plano de pesquisa para o doutorado, o qual é submetido como parte da documentação para o exame de seleção; Ser aprovado no exame de seleção do DI, cuja chamada é anualmente publicada no Website do departamento. A seleção é feita com base no plano de pesquisa apresentado pelo candidato, no currículo acadêmico e profissional do candi-dato, nas cartas de recomendação apresentadas, histórico escolar e demais credenciais relevan-tes.

Recomenda-se a candidatos com mestrado em programas com conceitos 3 ou 4 junto à CAPES, bem como a candidatos com mestrado fora da área de Informática e afins, que realizem o POSCOMP.

| Exigências para Obtenção dos Títulos Mestre

O título de Mestre em Informática é concedido a alunos que cumpram as seguintes exigências:

Obter um mínimo de 24 créditos em disciplinas de pós-graduação;

Seguir o roteiro de curso indicado e aprovado pela Comissão de Pós-Graduação para o seu regime de financiamento (bolsista, não-bolsista) e curso (tempo integral, tempo parcial);

Ser aprovado nos exames de Língua Estrangeira e Proposta de Dissertação; e

Apresentar, defender e ter aprovada a sua dis-sertação de mestrado dentro dos prazos estabe-lecidos pelo programa.

Doutor

O título de Doutor em Ciências – Informática é concedido a alunos que cumpram as seguintes exi-gências:

Obter um mínimo de 48 créditos em disciplinas de pós-graduação;

Seguir o roteiro de curso indicado e aprovado pela Comissão de Pós-Graduação para o seu regime de financiamento (bolsista, não-bolsista) e curso (tempo integral, tempo parcial);

Ser aprovados nos exames de Língua Estrangei-ra, Requisito Básico, Qualificação para o Douto-rado e Proposta de Tese; e

Apresentar, defender e ter aprovada a sua tese de doutorado dentro dos prazos estabelecidos pelo programa.

A Comissão de Pós-Graduação do DI é a instân-cia decisória para todos os processos de avaliação

(3)

179

e deliberação sobre alterações dos roteiros de curso dos alunos de mestrado e doutorado. Ela deve ser previamente consultada toda vez que orientados e orientadores julgarem oportuno ou necessário discu-tir ou rever o plano de pesquisa, a orientação, o rotei-ro de curso, o desempenho e condições gerais dos alunos da pós-graduação. Cabe também a esta co-missão deliberar sobre a alocação de bolsas de es-tudo pertencentes às quotas concedidas por agên-cias de fomento ou pela universidade ao DI.

O regulamento da pós-graduação do Departamen-to de Informática da PUC-Rio está disponível em www.inf.puc-rio.br. Todos os discentes e docentes do programa de pós-graduação do DI devem conhe-cer e seguir o regulamento vigente. Em particular, é da responsabilidade dos alunos a realização da matrícula dentro dos prazos e das condições estabelecidas pela universidade e pelo programa.

| Estrutura Curricular Mestrado

Disciplinas Obrigatórias

INF 2061 Seminários 1

INF 2102 Projeto Final de Programação 1 INF 2926 Projeto e Análise de Algoritmos 4 INF 3006 Exame de Proposta de Dissertação 0

INF 3000 Dissertação de Mestrado 0

LET 3101 Exame de Língua Estrangeira: Suficiência de

Leitura em Inglês 0

E uma das seguintes disciplinas, classificadas como obrigatórias de base matemática:

INF 2218 Computabilidade 3

INF 2127 Linguagens Formais e Autômatos 3

INF 2217 Lógica e Especificação 3

INF 2511 Modelagem Analítica do Desempenho

de Sistemas de Computação 3

INF 2608 Fundamentos de Computação Gráfica 3

INF 2912 Otimização Combinatória 3

A duração regulamentar do mestrado é de 24 me-ses.

Doutorado

Disciplinas Obrigatórias

INF 3001 Tese de Doutorado 0

INF 3002 Requisito Básico para o Doutorado 0 INF 3004 Exame Qualificação para o Doutorado 0 INF 3007 Exame de Proposta de Tese 0 LET 3106 Exame de Língua Estrangeira: Suficiência

de Leitura e Escrita em Inglês 0

Além destas disciplinas, os alunos de doutorado deverão demonstrar conhecimento equivalente às se-guintes disciplinas obrigatórias do mestrado: INF2061, INF2102 e INF2926 além de uma disciplina de base matemática. Este requisito será cumprido cursando tais disciplinas ou através do aproveitamen-to de disciplinas cursadas no mestrado.

Os alunos de doutorado poderão receber um to-tal de até 24 créditos pelo aproveitamento de disci-plinas cursadas em seu curso de mestrado.

A duração regulamentar do curso de doutorado é de 48 meses.

Mestrado e Doutorado

Disciplinas Eletivas de Conteúdo Fixo

INF 2106 Sistemas de Componentes de Software 3

INF 2107 Compiladores 3

INF 2122 Linguagem de Programação I 3 INF 2123 Linguagem de Programação II 3 INF 2125 Projeto de Sistemas de Software 3

INF 2130 Evolução de Software 3

INF 2131 Engenharia de Requisitos 3

INF 2132 Engenharia de Groupware 3

INF 2133 Tecnologias de Informação Aplicadas

à Educação 3

INF 2134 Teste e medição de software 3 INF 2135 Processos e ambientes de

desenvolvimento de software 3 INF 2136 Programação Orientada a Objetos 3

INF 2211 Teoria das Categorias 3

INF 2319 Construção de Sistemas de Gerência

de Banco de Dados 3

INF 2324 Bancos de Dados Distribuidos 3 INF 2325 Bancos de Dados Não Convencionais 3 INF 2326 Bancos de Dados Inteligentes 3 INF 2327 Projeto de Aplicações de Banco

de Dados 3

INF 2328 Tópicos em Tecnologias de Bancos

de Dados para a Web Semântica 3

(4)

180

INF 2416 Análise Numérica II 3

INF 2505 Redes de Computadores 3

INF 2509 Modelagem e Simulação Discreta

de Sistemas 3

INF 2540 Redes de Alta Velocidade 3

INF 2542 Algoritmos Distribuidos 3

INF 2544 Programação Concorrente e Paralela 3

INF 2545 Sistemas Distribuidos 3

INF 2556 Seminário de Sistemas Distribuidos 3

INF 2604 Geometria Computacional 3

INF 2607 Animação por Computador e Jogos 3 INF 2609 Inteligência Artificial em Jogos 3D 3 INF 2610 Renderização em Tempo Real 3 INF 2611 Computação Gráfica Avançada 3 IINF 2613 Esquemas Conceituais de Narrativas 3 INF 2705 Linguística Computacional Interativa 3 INF 2706 Introdução à Interação Humano-Computador 3

INF 2707 Engenharia Semiótica 3

INF 2708 Interfaces Inteligentes 3

INF 2709 Projeto de Interação Humano-Computador

Baseado em Modelos 3

INF 2801 Fundamentos de Sistemas Multimídia 3 INF 2802 Autoria de Aplicações Hipermídia 3 INF 2911 Inteligência Computacional e

Metaheurística 3

INF 2927 Tópicos Avançados em Algoritmos 3 INF 2928 Algoritmos em Biologia Computacional 3 Disciplinas Eletivas de Conteúdo Variável Trabalhos Individuais

INF 2002 Trabalhos Individuais em Engenharia de

Software I 1

Software II 2

Software III 3

INF 2036 Trabalhos Individuais em Teoria da Computação I 1 INF 2037 Trabalhos Individuais em Teoria da Computação II 2 INF 2038 Trabalhos Individuais em Teoria da Computação III3 INF 2065 Trabalhos Individuais em Computação Gráfica I 1 INF 2066 Trabalhos Individuais em Computação Gráfica II 2 INF 2067 Trabalhos Individuais em Computação Gráfica III 3 INF 2079 Pesquisa de Tese I em Banco de Dados 3

INF 2080 Pesquisa de Tese II em Banco de Dados 3 INF 2081 Pesquisa de Tese III em Banco de Dados 3 INF 2082 Pesquisa de Tese IV em Banco de Dados 3 INF 2083 Trabalhos Individuais em Banco de Dados I 1 INF 2084 Trabalhos Individuais em Banco de Dados II 2 INF 2085 Trabalhos Individuais em Banco de Dados III 3 INF 2182 Trabalho Individual em Linguagens e

Programação IV 1

INF 2183 Trabalho Individual em Linguagens e

Programação V 2

INF 2184 Trabalho Individual em Linguagens e

Programação VI 3

INF 2190 Trabalho Individual em Engenharia deSoftware IV 1 INF 2191 Trabalho Individual em Engenharia de Software V 2 INF 2192 Trabalho Individual em Engenharia de Software VI 3 INF 2193 Pesquisa de Tese I em Eng. de Software 3 INF 2194 Pesquisa de Tese II em Eng. de Software 3 INF 2195 Pesquisa de Tese III em Eng. de Software 3 INF 2196 Pesquisa de Tese IV em Eng. de Software 3 INF 2292 Trabalho Individual em Teoria da Computação IV 1 INF 2293 Trabalho Individual em Teoria da Computação V 2 INF 2294 Trabalho Individual em Teoria da Computação VI 3 INF 2295 Pesquisa de Tese I em Teoria da Computação 3 INF 2296 Pesquisa de Tese II em Teoria da Computação 3 INF 2297 Pesquisa de Tese III em Teoria da Computação 3 INF 2298 Pesquisa de Tese IV em Teoria da Computação 3 INF 2392 Trabalho Individual em Banco de Dados IV 1 INF 2393 Trabalho Individual em Banco de Dados V 2 INF 2394 Trabalho Individual em Banco de Dados VI 3 INF 2586 Pesquisa de Tese I em Redes Computadores 3 INF 2587 Pesquisa de Tese II em Redes Computadores 3 INF 2588 Pesquisa de Tese III em Redes Computadores 3 INF 2589 Pesquisa de Tese IV em Redes Computadores 3 INF 2595 Trabalho Individual em Redes de Computadores

e Sistemas Distribuidos I 1 INF 2596 Trabalho Individual em Redes de Computadores

e Sistemas Distribuidos II 2 INF 2597 Trabalho Individual em Redes de Computadores

e Sistemas Distribuidos III 3 INF 2598 Trabalho Individual em Redes deComputadores

e Sistemas Distribuidos IV 1 INF 2599 Trabalho Individual em Redes de Computadores

(5)

181

INF 2686 Pesquisa de Tese I em Computação Gráfica 3

INF 2687 Pesquisa de Tese II em Computação Gráfica 3 INF 2688 Pesquisa de Tese III em Computação Gráfica 3 INF 2689 Pesquisa de Tese IV em Computação Gráfica 3 INF 2692 Trabalho Individual em Computação Gráfica IV 1 INF 2693 Trabalho Individual em Computação Gráfica V 2 INF 2694 Trabalho Individual em Computação Gráfica VI 3 INF 2786 Pesquisa de Tese I em Interação

Humano-Computador 3

INF 2787 Pesquisa de Tese II em Interação

Humano-Computador 3

INF 2788 Pesquisa de Tese III em Interação

Humano-Computador 3

INF 2789 Pesquisa de Tese IV em Interação

Humano-Computador 3

INF 2795 Trabalho Individual em Interação

Humano-Computador I 1

Humano-Computador II 1

Humano-Computador III 2

Humano-Computador IV 2

Humano-Computador V 3

INF 2806 Pesquisa de Tese I em Linguagem de

Programação 3

INF 2807 Pesquisa de Tese II em Linguagem de

Programação 3

INF 2808 Pesquisa de Tese III em Linguagem de

Programação 3

INF 2809 Pesquisa de Tese IV em Linguagem de

Programação 3

INF 2813 Trabalho individualem Linguagem de

Programação I 1

INF 2814 Trabalho individual em Linguagem de

Programação II 2

INF 2815 Trabalho individual em Linguagem de

Programação III 3

INF 2886 Pesquisa de Tese I em Hipertexto e Multimídia 3 INF 2887 Pesquisa de Tese II em Hipertexto e Multimídia 3 INF 2888 Pesquisa de Tese III em Hipertexto e Multimídia 3 INF 2889 Pesquisa de Tese IV em Hipertexto e Multimídia 3 IIIIINF 2895 Trabalho Individual em Hipertexto e Multimídia I 1 INF 2896 Trabalho Individual em Hipertexto e Multimídia II 1

INF 2897 Trabalho Individual em Hipertexto e Multimídia III 2 INF 2898 Trabalho Individual em Hipertexto e Multimídia IV 2 INF 2899 Trabalho Individual em Hipertexto e Multimídia V 3 INF 2923 Trabalho Individual em Engenharia de Software IV 1 INF 2924 Trabalho Individual em Engenharia de Software V 2 INF 2925 Trabalho Individual em Engenharia de Software VI 3 INF 2983 Trabalho Individual em Otimização e Raciocínio

Automático I 1

INF 2984 Trabalho Individual em Otimização e Raciocínio

Automático II 2

INF 2985 Trabalho Individual em Otimização e Raciocínio

Automático III 3

INF 2986 Pesquisa de Tese I em Otimização e Raciocínio

Automático 3

INF 2987 Pesquisa de Tese II em Otimização e Raciocínio

Automático 3

INF 2988 Pesquisa de Tese III em Otimização e Raciocínio

Automático 3

INF 2989 Pesquisa de Tese IV em Otimização e Raciocínio

Automático 3

INF 2992 Trabalho Individual em Algoritmo, Paralelismo e

Otimização IV 3

Otimização V 3

Otimização VI 3

Disciplinas Eletivas de Conteúdo Variável

INF 2005 Tópicos de Engenharia de Software I 3 INF 2006 Tópicos de Engenharia de Software II 3 INF 2007 Tópicos de Engenharia de Software III 3 INF 2030 Tópicos de Banco de Dados I 3 INF 2031 Tópicos de Banco de Dados II 3 INF 2032 Tópicos de Banco de Dados III 3 INF 2033 Tópicos de Teoria da Computação I 3 INF 2034 Tópicos de Teoria da Computação II 3 INF 2035 Tópicos de Teoria da Computação III 3 INF 2062 Tópicos de Computação Gráfica I 3 INF 2063 Tópicos de Computação Gráfica II 3 INF 2064 Tópicos de Computação Gráfica III 3 INF 2180 Tópicos de Linguagens e Programação IV 3 INF 2181 Tópicos de Linguagens e Programação V 3 INF 2290 Tópicos de Teoria da Computação IV 3 INF 2291 Tópicos de Teoria da Computação V 3

(6)

182

INF 2390 Tópicos de Banco de Dados IV 3 INF 2391 Tópicos de Banco de Dados V 3 INF 2590 Tópicos de Redes de Computadores e Sistemas

Distribuidos I 3

INF 2591 Tópicos de Redes de Computadores e Sistemas

Distribuidos II 3

Distribuidos III 3

Distribuidos IV 3

Distribuidos V 3

INF 2690 Tópicos de Computação Gráfica IV 3 INF 2691 Tópicos de Computação Gráfica V 3 INF 2790 Tópicos de Interação Humano-Computador I 3 INF 2791 Tópicos de Interação Humano-Computador II 3 INF 2792 Tópicos de Interação Humano-Computador III 3 INF 2793 Tópicos de Interação Humano-Computador IV 3 INF 2794 Tópicos de Interação Humano-Computador V 3 INF 2810 Tópicos de Linguagem de Programação I 3 INF 2811 Tópicos de Linguagem de Programação II 3 INF 2812 Tópicos de Linguagem de Programação III 3 INF 2890 Tópicos de Hipertexto e Multimídia I 3 INF 2891 Tópicos de Hipertexto e Multimídia II 3 INF 2892 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 V 3 INF 2920 Tópicos de Engenharia de Software IV 3 INF 2921 Tópicos de Engenharia de Software V 3 INF 2922 Tópicos de Engenharia de Software VI 3 INF 2978 Tópicos de Otimização e Raciocínio Automático I 3 INF 2979 Tópicos de Otimização e Raciocínio Automático II 3 INF 2980 Tópicos de Otimização e Raciocínio Automático III 3 INF 2981 Tópicos de Otimização e Raciocínio Automático IV 3 INF 2982 Tópicos de Otimização e Raciocínio Automático V 3 | Corpo Docente

Coordenador de Pós-Graduação e Pesquisa

Prof. Edward Hermann Haeusler

| Docentes - Titulação e linhas de pesquisa Quadro Docente Permanente do Programa Alberto Barbosa Raposo

Doutor, UNICAMP, Brasil

Computação Gráfica, Interação Humano-Compu-tador

Alessandro Fabricio Garcia

Doutor, PUC-Rio, Brasil Engenharia de Software

Antonio Luz Furtado

Doutor, University of Toronto, Canadá Banco de Dados

Arndt von Staa

Doutor, University of Waterloo, Canadá Engenharia de Software

Bruno Feijó

Doutor, Imperial College, Inglaterra Computação Gráfica

Carlos José Pereira de Lucena

Doutor, University of California at Los Angeles, EUA Engenharia de Software

Clarisse Sieckenius de Souza

Doutora, PUC-Rio, Brasil Interação Humano-Computador

Daniel Schwabe

Doutor, University of California at Los Angeles, EUA Hipertexto e Multimídia

Eduardo Sany Laber

Doutor, PUC-Rio, Brasil

Otimização e Raciocínio Automático, Teoria da Computação

Edward Hermann Haeusler

Teoria da Computação, Linguagens de Programa-ção

Hélio Cortes Vieira Lopes

Computação Gráfica, Otimização e Raciocínio Automático

(7)

183

| Credenciamento

Mestrado

Portaria 1.077 do MEC, de 31/08/2012. Avaliado pela CAPES com conceito 7 para o triênio 2007/ 2009, conforme publicado no D.O.U. nº 178, de 13/09/2012, seção 1, p. 33.

Título atribuído: Mestre em Informática Doutorado

Portaria 1.077 do MEC, de 31/08/2012. Avaliado pela CAPES com conceito 7 para o triênio 2007/ 2009, conforme publicado no D.O.U. nº 178, de 13/09/2012, seção 1, p. 33.

Título atribuído: Doutor em Ciências - Informática | Informações

Departamento de Informática - PUC-Rio Rua Marquês de São Vicente, 225 - Gávea - Rio de Janeiro, RJ - CEP 22451-900 Telefone: (21) 3527-1500 ramais 4006 e 4007 Fax: (21) 3527-1530 e-mail: pos@inf.puc-rio.br Home-Page: www.inf.puc-rio.br Hugo Fuks

Doutor, Imperial College, Inglaterra Engenharia de Software

Julio Cesar Sampaio do Prado Leite

Doutor, University of California at Irvine, EUA Engenharia de Software

Luiz Fernando Gomes Soares

Redes de Computadores e Sistemas Dis-tribuidos, Hipertexto e Multimídia

Karin Koogan Breitman

Banco de Dados, Engenharia de Software

Marcelo Gattass

Doutor, Cornell University, EUA Computação Gráfica

Marco Antonio Casanova

Doutor, Harvard University, EUA Banco de Dados

Marcus Vinicius Soledade Poggi de Aragão

Doutor, Ecole Polytechnique de Montréal, Canadá Otimização e Raciocínio Automático

Markus Endler

Doutor, Technische Univ. Berlin, Alemanha Redes de Computadores e Sistemas Dis-tribuidos, Linguagens de Programação

Noemi da La Rocque Rodriguez

Redes de Computadores e Sistemas Dis-tribuidos, Linguagens de Programação

Renato Fontoura de Gusmão Cerqueira

Redes de Computadores e Sistemas Dis-tribuidos, Linguagens de Programação, Engenha-ria de Software

Roberto Ierusalimschy

Doutor, PUC-Rio, Brasil Linguagens de Programação

Ruy Luiz Milidiú

Doutor, University of California at Berkeley, EUA Otimização e Raciocínio Automático

Sérgio Lifshitz

Doutor, ENST Paris, França Banco de Dados

Simone Diniz Junqueira Barbosa

Doutora, PUC-Rio, Brasil

Interação Humano-Computador, Engenharia de Software

Waldemar Celes Filho

Doutor, PUC-Rio, Brasil Computação Gráfica