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: https://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
Teaching
Semânticas de Linguagens de Programação
Lógica Computacional
Teoria da Computação
Verificação de Programas/Program Verification

Scientific Committees
Recent or Future Events
RapidWeaver Icon

Made in RapidWeaver