Empregamos métodos formais — por exemplo, Teoria da Prova, Teoria
das Categorias, Sistemas Lógicos e Prova Assistida de Teoremas — em
Ciência da Computação em geral, particularmente no desenvolvimento e
validação de sistemas, modelos de computação e complexidade
computacional.