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



Projects: DeDuCe, Elven, KLog, MIKADO, DiCoMo

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

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


MSc Thesis: contact me for topic ideas!

PhD students: José Fragoso Santos 2014.

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 the behavior of things and solving problems of different sorts, through the lens of computation. Logical things such as concurrent, distributed, and mobile programs; and ecological things such as biodiversity and living systems. Problems in analysis and enforcement of correctness and security of programs, by means of program analysis; urgent existential and social problems such as sustainability of human societies in face of the climate and ecological emergencies. Currently diving into language-based modeling and simulation of populations and ecosystems and exploring the potential of citizen science.



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).

Ana Gualdina Almeida Matos