Ana Gualdina Almeida
Assistant Professor at the Department
of Computer Science and Engineering of IST, Lisbon.
Integrated in the Security and Quantum Information group (SQIG) of IT.
(email) ana.matos ++ @ ++ ist.utl.pt
(tel) +351 21 4233262 (ext) 5062
(fax) + 351 21 4233268
(post) Departamento de Engenharia Informática
Instituto Superior Técnico -- Tagus Park
Porto Salvo 2780-990
I am interested in topics in the intersection of language
based security and concurrent computing: What
specific security problems arise in concurrent,
distributed settings with code mobility? Which
programming language abstractions are best suited for
Monitor Extensions for Information Flow Security in
Rezk, in TGC'15.
Information Flow Monitor for a Core of DOM -
Introducing references and live primitives,
with J. Fragoso
Santos and T. Rezk,
PC member: YR-CONCUR-CONCUR'13,
(Co-)Organized: Seminal Seminars
Dutch Coalgebra Day 2006
Teaching / Advising
PhD adivising: José
Fragoso Santos 2014 (co-advisor Tamara
MSc advising: Roque Pina (co-advisor Jan
Courses: Language Based Security (PhD level), Software
Security (MSc level), Analysis and Synthesis of
Algorithms (BSc level: LEIC-A
Foundations of Programming (BSc level), Introduction to
Algorithms and Data Structures (BSc level).
Research visits: Indes team
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),
of Computation group at University of Sussex
Department at University of Manchester (2000).
PhD from École des
Mines de Paris, with Gérard
Boudol and Ilaria
Castellani, integrated in the MIMOSA team
Sophia Antipolis. (2006).
in Computer Science, at the Computer Science
Department in the Faculty of Sciences of the University
of Porto (2000).
Leaves: two half year maternity leaves (2009 and
(last update February 2016)