Stacks Image 0
Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto & CMUP
address:
DCC-FCUP
Rua do Campo Alegre, 1021/1055
4169 - 007 PORTO
Portugal
office: 1.20
phone: +351 220402920
email: nam (at) dcc - fc - up - pt
www: http://www.dcc.fc.up.pt/~nam
GPG Public key
Research interests
Automata theory and formal languages
Descriptional complexity
Theorem provers and Formal verification of software
Events
NCMA 2015
DCFS 2015
RDP 2016