Stacks Image 0
Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto & CMUP
Rua do Campo Alegre, 1021/1055
4169 - 007 PORTO
office: 1.20
phone: +351 220402920
email: nam (at) dcc - fc - up - pt
GPG Public key

Research interests
Automata theory and formal languages
Descriptional complexity
Theorem provers and Formal verification of software
Academic Commitees
Scientific Commitees
JALC- Journal of automata, languages and combinatorics: member of the board of editors
NCMA - Workshop on Non-classic Models of Automata and Applications: member of the steering committee
Member of IFIP Working Group 1.2 on Descriptional Complexity
Forthcoming Events
Related Events