| Postal address and contacts | | Affiliations | | Short CV | | Courses and students | | Research |
Quinta da Torre, 2829-516 CAPARICA, PORTUGAL
Tel. +351 212 948 500 ext. 10779
Fax. +351 212 948 541
E-Mail aravara at fct unl pt
Assistant Professor at the Department of Informatics of Faculty of Sciences and Technology. New University of Lisbon.
Member of the Center of Informatics and Information Technology (CITI).
Member of the Security and Quantum Information Group of the Institute of Telecommunications.
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: Sat Dec 10 17:16:01 WET 2011