Research
I'm an Associate Professor and Head of Education at the Department of Mathematics and Computer Science of the University of Southern Denmark.
My main research interests are in the areas of theorem proving, knowledge representation, and concurrency theory.
As Head of Education, I coordinate all education offers and activities in the department.
Teaching
My teaching page contains a summary of my teaching experience, as well as links to my teaching-related publications (course notes, exercise lists). Given that this is also a historical archive, some of these are in Portuguese.
Personal
Lots of other stuff about me. Among other things, I am a semi-professional singer and an expert on the history of the public transportation in Lisbon.
