O Departamento de Informática

Departamento de Informática Programa de Pós-Graduação em Informática Mestrado e Doutorado Áreas de Concentração Hipertexto e Multimídia Interação Humano-Computador Otimização e Raciocínio Automático Redes de Computadores e Sistemas Distribuídos Teoria da Computação O Departamento de Informática (DI) da PUC-Rio tem o mais antigo programa de pós-graduação na área de Ciência da Computação no Brasil e também o primeiro a receber, em 2004, o conceito 7, nível máximo de excelência 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 programas com nível de excelência e reconhecimento internacional na respectiva área. Em mais de 40 anos de existência, o programa titulou mais de 1100 mestres e mais de 300 doutores, sendo inúmeros deles, hoje, docentes de programas de pósgraduação de universidades públicas e privadas em todo o país. O DI oferece aos formandos uma boa experiência para a prática profissional, tanto em atividades de docência quanto em atividades de pesquisa. Esta visão está alinhada com as estratégias das agências atuantes nos programas de pós-graduação, cujas ações recentes enfatizam a importância de possibilitar aos pósgraduandos conhecer em maior profundidade as atividades de docência e pesquisa que virão certamente a desempenhar em seu futuro profissional. Maiores informações podem ser encontradas no Website do Departamento de Informática: : www.inf.puc-rio.br. 177

178 Objetivos do Programa O programa de pós-graduação do DI compreende 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 ensino e pesquisa. O doutorado tem como objetivo a formação de pesquisadores de alto nível para centros de pesquisa e estabelecimentos de ensino. Admissão e Matrícula Mestrado Além dos requisitos gerais regulamentares, estabelecidos 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 proporcionado experiência e conhecimentos suficientes para acompanhar os cursos e realizar trabalhos práticos e monográficos; Se aluno de tempo parcial, vinculado a empresa durante o curso, uma carta da empresa em questã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 apresentadas, histórico escolar e demais credenciais relevantes, como a pontuação no POSCOMP, GRE e assemelhados. O POSCOMP, exame nacional para a pós-graduação em Ciência da Computação, promovido pela Sociedade Brasileira da Computação, não é obrigatório, mas é fortemente recomendado para candidatos que desejem reforçar o seu perfil por terem graduação em outra área de conhecimento, terem realizado 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 resultado no POSCOMP ou GRE Doutorado Além dos requisitos gerais regulamentares, estabelecidos 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 candidato, nas cartas de recomendação apresentadas, histórico escolar e demais credenciais relevantes. 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 dissertação de mestrado dentro dos prazos estabelecidos pelo programa. Doutor O título de Doutor em Ciências Informática é concedido a alunos que cumpram as seguintes exigê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 Estrangeira, Requisito Básico, Qualificação para o Doutorado 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ância decisória para todos os processos de avaliação

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 discutir ou rever o plano de pesquisa, a orientação, o roteiro de curso, o desempenho e condições gerais dos alunos da pós-graduação. Cabe também a esta comissão deliberar sobre a alocação de bolsas de estudo pertencentes às quotas concedidas por agências de fomento ou pela universidade ao DI. O regulamento da pós-graduação do Departamento 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 conhecer 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 3 INF 2912 Otimização Combinatória 3 A duração regulamentar do mestrado é de 24 meses. 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 seguintes 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 aproveitamento de disciplinas cursadas no mestrado. Os alunos de doutorado poderão receber um total de até 24 créditos pelo aproveitamento de disciplinas 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 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 INF 2328 Projeto de Aplicações de Banco de Dados 3 Tópicos em Tecnologias de Bancos de Dados para a Web Semântica 3 INF 2406 Análise Numérica I 3 179

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 Avançada 3 IINF 2613 Esquemas Conceituais de Narrativas 3 INF 2705 Linguística Computacional Interativa 3 INF 2706 Introdução à Interação Humano- 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 INF 2003 INF 2004 Trabalhos Individuais em Engenharia de Software I 1 Trabalhos Individuais em Engenharia de Software II 2 Trabalhos Individuais em Engenharia de 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 I 1 INF 2066 Trabalhos Individuais em II 2 INF 2067 Trabalhos Individuais em III 3 INF 2079 Pesquisa de Tese I em 3 INF 2080 Pesquisa de Tese II em 3 INF 2081 Pesquisa de Tese III em 3 INF 2082 Pesquisa de Tese IV em 3 INF 2083 Trabalhos Individuais em I 1 INF 2084 Trabalhos Individuais em II 2 INF 2085 Trabalhos Individuais em III 3 INF 2182 INF 2183 INF 2184 Trabalho Individual em Linguagens e Programação IV 1 Trabalho Individual em Linguagens e Programação V 2 Trabalho Individual em Linguagens e Programação VI 3 INF 2190 Trabalho Individual em Engenharia desoftware IV 1 INF 2191 Trabalho Individual em V 2 INF 2192 Trabalho Individual em 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 IV 1 INF 2393 Trabalho Individual em V 2 INF 2394 Trabalho Individual em 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 INF 2596 INF 2597 INF 2598 INF 2599 e Sistemas Distribuidos I 1 e Sistemas Distribuidos II 2 e Sistemas Distribuidos III 3 Trabalho Individual em Redes decomputadores e Sistemas Distribuidos IV 1 e Sistemas Distribuidos V 2

INF 2686 Pesquisa de Tese I em 3 INF 2687 Pesquisa de Tese II em 3 INF 2688 Pesquisa de Tese III em 3 INF 2689 Pesquisa de Tese IV em 3 INF 2692 Trabalho Individual em IV 1 INF 2693 Trabalho Individual em V 2 INF 2694 Trabalho Individual em VI 3 INF 2786 INF 2787 INF 2788 INF 2789 INF 2795 INF 2796 INF 2797 INF 2798 INF 2799 INF 2806 INF 2807 INF 2808 INF 2809 INF 2813 INF 2814 INF 2815 Pesquisa de Tese I em Interação Humano- Pesquisa de Tese II em Interação Humano- Pesquisa de Tese III em Interação Humano- Pesquisa de Tese IV em Interação Humano- Computador I 1 Computador II 1 Computador III 2 Computador IV 2 Computador V 3 Pesquisa de Tese I em Linguagem de Pesquisa de Tese II em Linguagem de Pesquisa de Tese III em Linguagem de Pesquisa de Tese IV em Linguagem de Trabalho individualem Linguagem de Programação I 1 Trabalho individual em Linguagem de Programação II 2 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 INF 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 IV 1 INF 2924 Trabalho Individual em V 2 INF 2925 Trabalho Individual em VI 3 INF 2983 Trabalho Individual em Otimização e Raciocínio Automático I 1 INF 2984 INF 2985 INF 2986 INF 2987 INF 2988 INF 2989 INF 2992 INF 2993 INF 2994 Trabalho Individual em Otimização e Raciocínio Automático II 2 Trabalho Individual em Otimização e Raciocínio Automático III 3 Pesquisa de Tese I em Otimização e Raciocínio Pesquisa de Tese II em Otimização e Raciocínio Pesquisa de Tese III em Otimização e Raciocínio Pesquisa de Tese IV em Otimização e Raciocínio Trabalho Individual em Algoritmo, Paralelismo e Otimização IV 3 Trabalho Individual em Algoritmo, Paralelismo e Otimização V 3 Trabalho Individual em Algoritmo, Paralelismo e Otimização VI 3 Disciplinas Eletivas de Conteúdo Variável INF 2005 Tópicos de I 3 INF 2006 Tópicos de II 3 INF 2007 Tópicos de III 3 INF 2030 Tópicos de I 3 INF 2031 Tópicos de II 3 INF 2032 Tópicos de 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 I 3 INF 2063 Tópicos de II 3 INF 2064 Tópicos de 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 181

INF 2390 Tópicos de IV 3 INF 2391 Tópicos de V 3 INF 2590 INF 2591 INF 2592 INF 2593 INF 2594 Distribuidos I 3 Distribuidos II 3 Distribuidos III 3 Distribuidos IV 3 Distribuidos V 3 INF 2690 Tópicos de IV 3 INF 2691 Tópicos de 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 IV 3 INF 2921 Tópicos de V 3 INF 2922 Tópicos de 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, Interação Humano-Computador Alessandro Fabricio Garcia Antonio Luz Furtado Doutor, University of Toronto, Canadá Arndt von Staa Doutor, University of Waterloo, Canadá Bruno Feijó Doutor, Imperial College, Inglaterra Carlos José Pereira de Lucena Doutor, University of California at Los Angeles, EUA 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 Otimização e Raciocínio Automático, Teoria da Computação Edward Hermann Haeusler Teoria da Computação, Hélio Cortes Vieira Lopes, Otimização e Raciocínio Automático 182

Hugo Fuks Doutor, Imperial College, Inglaterra Julio Cesar Sampaio do Prado Leite Doutor, University of California at Irvine, EUA Luiz Fernando Gomes Soares Hipertexto e Multimídia Sérgio Lifshitz Doutor, ENST Paris, França Simone Diniz Junqueira Barbosa Doutora, PUC-Rio, Brasil Interação Humano-Computador, Engenharia de Software Waldemar Celes Filho Karin Koogan Breitman, Marcelo Gattass Doutor, Cornell University, EUA Marco Antonio Casanova Doutor, Harvard University, EUA 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 Noemi da La Rocque Rodriguez Renato Fontoura de Gusmão Cerqueira, Engenharia de Software Roberto Ierusalimschy Ruy Luiz Milidiú Doutor, University of California at Berkeley, EUA Otimização e Raciocínio Automático 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 183