Faculdade de Ciências da Universidade do Porto
Formal Languages and Automata Theory Enumerative Combinatorics, Algorithmic Graph Theory Cryptography Security (Program Verification and Certification)