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.