from Set 2015 to Aug 2017
Hugo Andrés López,
from Mar 2014 to May 2015
Mar to Jun 2014
Apr to Dec 2011
Apr 2010 to Feb 2011
Sep 2009 to Feb 2011
Apr 2008 to Mar 2009
Feb to Sep 2007
Feb to Sep 2006
Bernardo Almeida (co-supervision with Andreia Mordido)
Adding Dependent Types to Class-based Mutable Objects.
Completed Jan 2018.
(co-supervision with Uwe Nestmann)
Controling Security Policies in a Distributed Environment.
Completed Jan 2006.
Typing Non-Uniform Concurrent Objects.
Completed Nov 2000.
(co-supervision with Amílcar Sernadas)
Design and Implementation of an Object Oriented Language Based on a Process Calculus.
Completed Nov 1999.
(co-supervision with Fernando Silva)