Luís Cruz-Filipe

my photo


I'm an Associate Professor 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.


My teaching page contains a summary of my teaching experience, as well as links to my teaching-related publications (course notes, exercise lists). Some, if not most, of these are in Portuguese.


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.