I am an Assistant Professor at the Department of Computer Science and Engineering (DEI) of IST, Technical University of Lisbon (UTL).
I was born in Lisbon, Portugal, in January 1980. I graduated in Applied Mathematics and Computation (LMAC) at IST in July 2002. My Diploma Thesis within the topic Electronic money was supervised by Professor Paulo Mateus. In December 2006, I got my PhD in Mathematics, also from IST, with the thesis Formal Methods for the Analysis of Security Protocols . My supervisors were Professor Paulo Mateus and Professor Andre Scedrov ( Department of Mathematics of the University of Pennsylvania).
In the Fall 2005, I was a Research Intern at Microsoft Research Cambridge working under the supervision of Cédric Fournet. We worked on secure implementation of Process Algebras and their Computational Soundness.