I am an Assistant Professor at the Department of Informatics of Faculty of Sciences of the University of Lisbon. I am also a member of the LabMAG (Laboratory for Agent Modeling).
I teach classes of Theory of Computation, Introduction to Programming, Object Oriented Software Development and Software Components.
My research interests are in the area of program specification and verification; OO modeling and programming; computer aided assessment in mathematics.