Research interests and
projects | Publications | Teaching | **Short CV**

BSc in Applied Mathematics at the Faculty of Sciences of the University of Lisbon, 1991.

MSc in Applied Mathematics at the IST of the Technical University of Lisbon, 1996.

PhD in Mathematics at the IST of the Technical University of Lisbon, 2000.

Teaching Assistant for Computer Science at the Department of Mathematics of IST of the Technical University of Lisbon, 1992-2000.

Currently, Assistant Professor for Computer Science at the Department of Mathematics of IST of the Technical University of Lisbon.

Member of the Center for Logic and Computation.