Métodos formais na ciência da computação são técnicas baseadas em formalismos matemáticos para a especificação, verificação e desenvolvimento de sistemas de software e hardware. Métodos formais também são usados na Inteligência Artificial para a representação de conhecimento de "agentes inteligentes": agentes de software ou agentes robóticos que fazem a inferência correta sobre uma representação correta do conhecimento que se tem disponível.
- Professor: Flávio Soares Correa da Silva
- Professor: Leliane Nunes de Barros
- Professor: Sandro Preto