IT

IT

Pedro Miguel Adão

Address
Departamento de Engenharia Informática
Instituto Superior Técnico
Avenida Professor Cavaco Silva,
2744-016 Porto Salvo, PORTUGAL
pedro.adao@ist.utl.pt
Office@TAGUS
Main Building, Office 2N3.3 (2nd Floor)
Tel. +351 21-423-3260 (ext. 5060)
Fax. +351 21-423-3252

Office@Alameda
Mathematics Building, Office P6 (2nd Floor)


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

Coordinator of ComFormCrypt Project.

List of Publications and Talks.
ISI ResearcherID B-8422-2008

I am the organizer of the SQIG Information Security Seminar. Have a look at the upcoming sessions.


Teaching (in Portuguese)

Here is a list of my MsC thesis proposals for the academic year 2014/2015. Have a look.

I am on sabbatical leave until September 2014.

Past teaching can be found here.


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.

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.


Events

CETC 2013 - Conference on Electronics, Telecommunications and Computers (PC Member)
INForum 2013-CCS Track - Simpósio de Informática - Computer Systems and Communications Security Track (Track Chair)
INForum 2012-CCS Track - Simpósio de Informática - Computer Systems and Communications Security Track (Track Chair)
CETC 2011 - Conference on Electronics, Telecommunications and Computers (PC Member)
INForum 2011-CCS Track - Simpósio de Informática - Computer Systems and Communications Security Track (PC Member)
INForum 2010-CCS Track - Simpósio de Informática - Computer Systems and Communications Security Track (PC Member)
INForum 2009-CCS Track - Simpósio de Informática - Computer and Communications Security Track (PC Member)
QuEBS 2009 - Workshop on Quantum Effects in Biological Systems (Organising Committee)
SINO 2007 - 3ª Conferência Nacional sobre Segurança Informática nas Organziações (PC Member)
LQCIL'07 - Workshop on Quantum Cryptography and Security (Organising Committee)
WITS'07 - 7th International Workshop on Issues in the Theory of Security (PC Member)


Some interesting links


Last update: 16-Oct-2011