I am an Assistant Professor at the Department of Informatics of the University of Minho and a researcher at HASLab/INESC TEC. I obtained is PhD degree in Computer Science from this university in 2004. My research interests include formal methods, program verification, type systems and logic.
Research
Interests: program verification, program logics, type systems
Teaching
Formal Verification, Functional Programming, Algorithms and Complexity, Semantics of Programming Languages, Computational Logic.
Contacts
Departamento de Informática, Universidade do Minho
Campus de Gualtar
4710-057 Braga, Portugal
Tel: +351 2534445
TEXTBOOK
more information at Springer
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.