main

Member level: 

• Integrated member

Position: 

• Professor Auxiliar

Institution: 

• Faculdade de Ciências da Universidade do Porto

Interests: 

Formal Languages and Automata Theory Enumerative Combinatorics, Algorithmic Graph Theory Cryptography Security (Program Verification and Certification)