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 Exame de Proficiência em Língua Estrangeira (Inglês) Tese de Doutorado Requisito Básico de Doutorado Exame de Qualificação Exame de Proposta de Tese 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: * 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 Doutor 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).