
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
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
Descriptional complexity
Theorem provers and Formal verification of software
Teaching
Semânticas de Linguagens de Programação
Estruturas Discretas
Lógica Computacional
Verificação de Programas
Modelos de Computação : atendimento de dúvidas 2a e 4a 14.30-17h (enviar email antes)
Estruturas Discretas
Lógica Computacional
Verificação de Programas
Modelos de Computação : atendimento de dúvidas 2a e 4a 14.30-17h (enviar email antes)
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