I am an Assistant Professor at the Department of Informatics of Faculty of Sciences of the University of Lisbon. I am also a collaborator member of the Computer Science and Engineering research unit Lasige .
In 2024/25 I teach classes of Object Oriented Programming , Programming Fundamentals, Software Analysis and Design and Elements of Computation.
My present research interests are in the areas of automated reasoning and the semantic web.
Object
Oriented Programming e-book (in portuguese)