supervision
post-doc
Gilda Ferreira,
from Set 2015 to Aug 2017
Hugo Andrés López,
from Mar 2014 to May 2015
Giovanni Bernardi,
Mar to Jun 2014
Pedro Baltazar,
Apr to Dec 2011
Kohei Suenaga,
Apr 2010 to Feb 2011
Dimitris Mostrous,
Sep 2009 to Feb 2011
Marco Giunti,
Apr 2008 to Mar 2009
Luís Cruz-Filipe,
Feb to Sep 2007
Francisco Martins,
Feb to Sep 2006
ph.d
Bernardo Almeida (co-supervision with Andreia Mordido)
Joana Campos,
Adding Dependent Types to Class-based Mutable Objects.
Completed Jan 2018.
Alexandre Caldeira
(co-supervision with Uwe Nestmann)
Francisco Martins,
Controling Security Policies in a Distributed Environment.
Completed Jan 2006.
António Ravara,
Typing Non-Uniform Concurrent Objects.
Completed Nov 2000.
(co-supervision with Amílcar Sernadas)
Luís Lopes,
Design and Implementation of an Object Oriented Language Based on a Process Calculus.
Completed Nov 1999.
(co-supervision with Fernando Silva)