Assistant Professor at the Department of Computer Science and Engineering of Instituto Superior Técnico, Lisbon.

Member of the Security and Quantum Information group (SQIG) of IT.


(email) ana.matos ++ @ ++

(tel) +351 21 4233262 (ext) 5062

(office) 2-N3.11

(post) Departamento de Engenharia Informática

Instituto Superior Técnico -- Tagus Park

Porto Salvo 2780-990



PC member: SSCC@INForum’18, SOFT-PT@INForum’18, SOFT-PT@INForum’17, YR-CONCUR'13, PLAS'13, EVTSIC@INForum’10, ACM SVT@SAC’10, ACM SVT@SAC’09

Events: Computing for Sustainability @ Inforum’19, Seminal Seminars’07-’10, DisCoTec'09, Dutch Coalgebra Day’06


PhD students: José Fragoso Santos 2014.

MSc students:  André Ribeiro, Beatriz Abecasis, João Lopes, Fernando Marques 2017.

Courses: Language Based Security (PhD), Software Security (MSc), Analysis and Synthesis of Algorithms (BSc), Foundations of Programming (BSc), Introduction to Algorithms and Data Structures (BSc).


I am interested in understanding the foundations of things and solving problems of different sorts, through the lens of computation. Logical things such as behavior of concurrent, distributed, and mobile programs; and ecological things such as biodiversity, resilience and self-sustainability of living systems. Problems in analysis and enforcement of correct and secure behavior of programs, by means of programming language-based tools; existential and urgent problems such as optimization of human behavior in face of the climate change emergency, that I plan to approach via language-based modeling and simulation of populations and ecosystems.



Research visits: Indes team at INRIA Sophia Antipolis (2013), ProSec group at Chalmers University of Technology (2013 and 2004), former Security of Systems group at Radboud University of Nijmegen (2006), Formal Methods and Tools group at University of Twente (2005), former Foundations of Computation group at University of Sussex (2005), Mathematics Department at University of Manchester (2000).

PhD from École des Mines de Paris, with Gérard Boudol and Ilaria Castellani, integrated in the former MIMOSA team of INRIA Sophia Antipolis. (2006).

Licenciatura in Computer Science, at the Computer Science Department in the Faculty of Sciences of University of Porto (2000).

Leaves:  two half year maternity leaves (2009 and 2012/3).

Ana Gualdina Almeida Matos