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, University of Lisbon (UL).

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 2015/2016. Have a look.

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

INForum 2015-CCS Track - Simpósio de Informática - Computer Systems and Communications Security Track (PC Member)
POST'15 - 4th International Conference on Principles of Security and Trust (PC Member)
INForum 2014-CCS Track - Simpósio de Informática - Computer Systems and Communications Security Track (PC Member)
FCS-FCC'14 - FCS-FCC'14 - Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (PC Member)
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)

Last update: Apr-2015