Fundamentos da Computação

A Linha de Pesquisa Fundamentos da Computação procura pesquisar fundamentos teóricos e modelos 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; aplicação da teoria da informação no campo da computação; desenvolvimento e análise da complexidade de modelos computacionais aplicados ao estudo e à análise da dinâmica de populações e de fenômenos ambientais.

Orientadores principais:

Colaboradores: