Diploma oferecido:Mestre em Ciência da Computação
Localização:Pelotas - Rio Grande do Sul
Duração:2 Anos
Tipo:Mestria
Modalidade:Presenciais
Características
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.
Plano de estudos
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