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 2021/22 I teach classes of Object Centered Programming , Programming Labs and Elements of Computation.
My present research interests are in the areas of automated reasoning and the semantic web.
Oriented Programming e-book (in portuguese)