supervision

post-doc

  • Gilda Ferreira, from Set 2015
  • 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

  • Joana Campos
  • 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)