Fundamentos de Computação

Esta linha de pesquisa compreende o estudo dos fundamentos da computação e de suas aplicações práticas tratando tópicos em Linguagens Formais, Teoria da Computação, Algoritmos, Grafos, Lógica Matemática, Matemática Discreta e Otimização. As pesquisas envolvem a identificação e a formulação de problemas e o desenvolvimento de algoritmos eficientes para os mesmos.
 
Professores que integram a linha de pesquisa
Daniel Lima Ventura
Diane Castonguay
Erika Morais Martins Coelho
Hebert Coelho da Silva
Humberto José Longo
Márcia Rodrigues Cappelle Santana
Rommel Melgaço Barbosa