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 /int: 50020
email: first_name - last_name (at) - 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
Teaching
Lógica Computacional
Métodos Formais em Engenharia de Software
Verificação Formal de Software
Programação Concorrente
Modelos de Computação
Computer Science Degree
Scientific Commitees
Forthcoming Events
-g7Gmrk1_400x400 7-11 October 2019. Porto
SOFSEM 2020