Researchers

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.

In Spring 2008 and Spring 2009 I worked as an invited researcher at the Centre de Recherche Commun INRIA-Microsoft Research in Paris.

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