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 networked computing: What
specific security problems arise in concurrent,
distributed settings with code mobility? Which
programming language abstractions are best suited for
Noninterference, with J. Cederquist, in 4PAD-PDP'14.
Types and Effects for Hybrid Migration Control,
with J. Cederquist, in RV'13.
PC member: WWV'14-FLoC'14,
(Co-)Organized: Seminal Seminars
Dutch Coalgebra Day 2006
Teaching / Advising
PhD student: José
Fragoso Santos (co-advisor Tamara
Based Security (PhD level), Software
Security (MSc level), 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 March 2014)