Last position at IST: Full Professor.
- PhD in Computer Science, University of London, UK, 1980.
- Agregação em Análise Numérica e Computação, Universidade de Lisboa, 1982.
Logic and Computation.
Personal web page
Data on this page has been obtained from Department of Mathematics databases. Requests for changes in phone, personal web page location, office location or degrees should be directed to the main Office which may update the page through /math/edit.