main

Member level: 

• Integrated member

Position: 

• Professor Auxiliar

Institution: 

• Faculdade de Ciências da Universidade do Porto

Gabinete: 

1.20 DCC

Phone: 

351220402920

Website: 

http://www.dcc.fc.up.pt/~nam

Interests: 

Automata theory and formal languages Descriptional complexity Theorem provers and Formal verification of software