Faculdade de Ciências da Universidade do Porto
Automata theory and formal languages Descriptional complexity Theorem provers and Formal verification of software