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 /int: 50020
email: first_name - last_name (at) - fc - up - pt
www: http://www.dcc.fc.up.pt/~nam
GPG Public key
orcid: 0000-0003-0861-0105
cienciavitae: 7814-539A-2713
address:
DCC-FCUP
Rua do Campo Alegre, 1021/1055
4169 - 007 PORTO, Portugal
office: 1.20
phone: +351 220402920 /int: 50020
email: first_name - last_name (at) - fc - up - pt
www: http://www.dcc.fc.up.pt/~nam
GPG Public key
orcid: 0000-0003-0861-0105
cienciavitae: 7814-539A-2713
Research interests
Automata theory and formal languages
Descriptional complexity
Theorem provers and Formal verification of software
Descriptional complexity
Theorem provers and Formal verification of software
Teaching
Scientific Committees
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
CIAA - International Conference on Implementation of Automata and Applications, member of the steering committee
Member of IFIP Working Group 1.2 on Descriptional Complexity
NCMA - Workshop on Non-classic Models of Automata and Applications, member of the steering committee
CIAA - International Conference on Implementation of Automata and Applications, member of the steering committee
Member of IFIP Working Group 1.2 on Descriptional Complexity
Recent or Future Events