A Linha de Pesquisa Fundamentos da Computação procura pesquisar fundamentos teóricos e modelos abstratos que servem de base para sistemas, bem como desenvolver técnicas para garantir correção no desenvolvimento de software.
Temas de interesse da linha incluem especificação, construção por refinamento e verificação de sistemas de software e hardware, com o objetivo de atingir níveis de qualidade mais elevados e aumentar a confiança na correção do software através de provas formais e refinamentos; aplicação da teoria da informação no campo da computação; desenvolvimento e análise da complexidade de modelos matemáticos computacionais aplicados ao estudo e à análise da dinâmica de populações e de fenômenos ambientais.
Orientadores na área: