Linhas de Pesquisa Cada uma das linhas representa um núcleo temático do Programa, abordando um conjunto específico de problemas. O Programa é constituído por quatro Linhas de Pesquisa: Fundamentos da Computação. Pesquisa fundamentos teóricos e modelos abstratos que servem de base para sistemas, bem como desenvolve técnicas para garantir correção no desenvolvimento de software. Temas de interesse incluem especificação e verificação formal de sistemas concorrentes e distribuídos, teoria da informação para a computação e desenvolvimento e análise da complexidade de modelos matemáticos computacionais. Processamento Paralelo e Distribuído. Desenvolve pesquisas relacionadas com ambientes de processamento paralelo e distribuído. São tratados temas como ambientes de programação e execução, computação móvel e pervasiva e computação sustentável e arquiteturas para o processamento paralelo e distribuído. Sistemas Digitais e Embarcados. Tem como focos de pesquisa a especificação, a validação, a verificação, o projeto e o teste de sistemas digitais e embarcados, com particular atenção à investigação do projeto de sistemas computacionais dedicados para aplicações específicas que envolvem hardware e software. Sistemas Inteligentes. Aplica os conceitos, técnicas e ferramentas da Inteligência Artificial no auxilio da resolução de problemas conceituais e práticos da computação e das demais áreas do conhecimento. São tratados temas como aprendizagem de máquina e teoria computacional do aprendizado, agentes autônomos e sistemas multiagente e computação evolutiva.

Disciplinas Obrigatórias * Algoritmos e Estrutura de Dados * Arquitetura e Projeto de Computadores * Teoria da Computação Disciplinas Eletivas * Eletivas Comuns às Linhas de Pesquisa o Tópicos Especiais em Computação I o Tópicos Especiais em Computação II o Metodologia para Pesquisa e Desenvolvimento em Computação * Eletivas da Linha de Sistemas Digitais e Embarcados o Concepção e Teste de Circuitos Integrados o Sistemas Embarcados o Ferramentas de CAD para Circuitos Integrados o Projeto Avançado de Sistemas Digitais * Eletivas da Linha de Fundamentos da Computação o Lógica para Computação o Métodos Formais o Computação Simbólica e Numérica o Semântica Formal * Eletivas da Linha de Processamento Paralelo e Distribuído o Introdução ao Processamento Paralelo e Distribuído o Arquiteturas Avançadas de Computação o Sistemas Sensíveis ao Contexto, Adaptativos e Ubíquos o Processamento de Alto Desempenho o Modelos Computacionais para Sistemas Concorrentes e Distribuídos * Eletivas da Linha de Sistemas Inteligentes o Fundamentos de Inteligência Artificial o Sistemas Evolutivos o Aprendizado de Máquina o Sistemas Multiagente Outras Atividades Obrigatórias * Trabalho Individual I * Orientação de Dissertação de Mestrado * Docência Orientada Outras Atividades Eletivas * Trabalho Individual II