I am an Assistant Professor at the Department of Computer Science and Engineering (DEI) of IST, Technical University of Lisbon (UTL).

Short Biography

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).

From January 2004 to February 2005, I was a visiting student at the Department of Mathematics of the University of Pennsylvania. I worked under the supervision of Professor Andre Scedrov.

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.

I am a member of SQIG at IT (formerly at CLC) since November 2001.