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

Disciplinas Obrigatórias Dissertação de Mestrado Exame de Proposta de Dissertação 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: Nome da Disciplina Seminários Projeto Final de Programação Projeto e Análise de Algoritmos E por uma disciplina de base matemática, escolhida dentre as seguintes: Linguagens Formais e Autômatos Lógica e Especificação Computabilidade Análise Numérica I Geometria Computacional Mestrado e Doutorado Trabalhos individuais Disciplinas Eletivas Trabalhos Individuais em Engenharia de Software I Trabalhos Individuais em Engenharia de Software II Trabalhos Individuais em Engenharia de Software III Trabalho Individual em Engenharia de Software IV Trabalho Individual em Engenharia de Software V Trabalho Individual em Engenharia de Software VI Trabalhos Individuais em Matemática Aplicada I Trabalhos Individuais em Matemática Aplicada II Trabalhos Individuais em Matemática Aplicada III Trabalhos Individuais em Teoria da Computação I Trabalhos Individuais em Teoria da Computação II Trabalhos Individuais em Teoria da Computação III Trabalhos Individuais em Sistemas de Computação I Trabalhos Individuais em Sistemas de Computação II Trabalhos Individuais em Sistemas de Computação III Pesquisa de Tese de Doutorado I (1) Pesquisa de Tese de Doutorado II (1) Pesquisa de Tese de Doutorado III (1) Pesquisa de Tese de Doutorado IV (1) Estudo Orientado Trabalhos Individuais em Computação Gráfica I Trabalhos Individuais em Computação Gráfica II Trabalhos Individuais em Computação Gráfica III Trabalhos Individuais em Inteligência Artificial I Trabalhos Individuais em Inteligência Artificial II Trabalhos Individuais em Inteligência Artificial III Trabalhos Individuais em Banco de Dados I Trabalhos Individuais em Banco de Dados II Trabalhos Individuais em Banco de Dados III Trabalho Individual em Linguagens de Programação I Trabalho Individual em Linguagens de Programação II Trabalho Individual em Linguagens de Programação III Trabalho Individual em Algoritmos, Paralelismo e Otimização I Trabalho Individual em Algoritmos, Paralelismo e Otimização II Trabalho Individual em Algoritmos, Paralelismo e Otimização III (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 Tópicos de Engenharia de Software I Tópicos de Engenharia de Software II Tópicos de Engenharia de Software III Tópicos de Engenharia de Software IV Tópicos de Engenharia de Software V Tópicos de Engenharia de Software VI Tópicos de Matemática Aplicada I Tópicos de Matemática Aplicada II Tópicos de Matemática Aplicada III Tópicos de Banco de Dados I Tópicos de Banco de Dados II Tópicos de Banco de Dados III Tópicos da Teoria Computação I Tópicos da Teoria da Computação II Tópicos da Teoria Computação III Tópicos de Rede e Sistemas de Computação I Tópicos de Rede e Sistemas de Computação II Tópicos de Rede e Sistemas de Computação III Tópicos de Computação Gráfica I Tópicos de Computação Gráfica II Tópicos de Computação Gráfica III Tópicos de Inteligência Artificial I Tópicos de Inteligência Artificial II Tópicos de Inteligência Artificial III Tópicos de Linguagens do Programação I Tópicos de Linguagens do Programação II Tópicos de Linguagens do Programação III Tópicos de Algoritmos, Paralelismo e Otimização I Tópicos de Algoritmos, Paralelismo e Otimização II Tópicos de Algoritmos, Paralelismo e Otimização III Disciplinas Eletivas de Conteúdo Fixo Compiladores Linguagem de Programação I Linguagem de Programação II Laboratório de Programação Projeto de Sistemas de Software Especificação de Sistemas II Lógica Matemática Lógicas Não Clássicas Especificações Formais Construção de Sistemas de Gerência de Banco de Dados Bancos de Dados Distribuídos Banco de Dados Não Convencionais Análise do Métodos Variacionais Análise dos Métodos dos Elementos Finitos Software Numérico para Equações Diferenciais Métodos Numéricos para Equações Diferenciais Análise Numérica II Sistemas de Computação I Sistemas de Computação II Redes de Computadores Modelagem e Simulação Discreta de Sistemas Fundamentos de Sistemas Multimídia Engenharia de Redes O Desenvolvimento de Aplicações Distribuídas Computação Gráfica Interativa Modelagem e Gerência de Interfaces com o Usuário Síntese de Imagens Realistas CAD Inteligente Animação por Computador Inteligência Artificial I Inteligência Artificial II Linguística Computacional Interativa

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. Exigências para Obtenção dos Títulos de Mestre Obter um mínimo de 24 créditos em disciplinas 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).