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.