Postal address and contactsDepartamento de InformáticaFaculdade de Ciências e Tecnologia Quinta da Torre, 2829-516 CAPARICA, PORTUGAL Tel. +351 212 948 500 ext. 10779 E-Mail aravara at fct unl pt Google Scholar Profile HuxP2pUAAAAJ |
Affiliations | | Short CV | | Courses and students | | Research |
Assistant Professor at the Department of Informatics of Faculty of Sciences and Technology. New University of Lisbon.
Member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS).
Member of SPM (Portuguese Mathematical Society), EATCS (European Association for Theoretical Computer Science), and EAPLS (European Association for Programming Languages and Systems).
From 2000 to 2009, Assistant Professor at the Section of Logic and Computation of the Department of Mathematics of IST. Technical University of Lisbon.
PhD in Mathematics at IST, of the Technical University of Lisbon. December 2000.
MSc in Applied Mathematics at IST of the Technical University of Lisbon. May 1996.
BSc in Geographical Engineering at the Faculty of Sciences of the University of Lisbon. September 1991.
Last modified: Tue Apr 14 17:17:00 WEST 2015