Master Students
  • Ricardo Almeida (co-supervised with Sabine Broda). Decision Algorithms for Kleene Algebra with Tests and Hoare Logic. Mestrado em Ciência de Computadores. 2012.
  • José Daniel da Silva Alves (co-supervised with Rogério Reis). An Interactive System for Automata Manipulations. Mestrado em Ciência de Computadores. 2010.
  • Eva Catarina Gomes Maia (co-supervised with Rogério Reis). Inferência de tipos em Python. Mestrado em Ciência de Computadores. 2010.
  • André Emanuel Bernardo Almeida(co-supervised with Rogério Reis). Towards Automata Diagram Drawings. Mestrado em Ciência de Computadores. 2010.
  • David Pereira (co-supervised with Eugénio Oliveira). Logic frameworks for reasoning about emotions in BDI Agents. Mestrado em Informática, 2007.
  • Ângela Oliveira. GerExa: uma plataforma para a manipulação de exercícios e exames em XML. Mestrado em Informática, 2006.
  • Dora Melo (co-supervised with João Pedro Pedroso and Rogério Reis). Specification of a Language for Timetabling Problems. Mestrado em Informática. 2006
  • José João Gonçalves Morais (co-supervised with Rogério Reis). Obtenção de expressões regulares pequenas a partir de autómatos finitos. Mestrado em Informática. 2005.
Junior Researchers
  • João Grifo Pires, CMUP 2016
  • Miguel Ferreira. Project AVIACC, 2015, CMUP 2016
  • Sílvia Cavadas. Project AVIACC, 2014
  • Rafaela Bastos. Project CANTE 2012-2013
  • André Oliveira. Project CANTE 2013
  • Rizó Isrof. Project CANTE 2011-2013
  • Nuno Silva. Project RESCUE, 2010-2011
  • André Francisco. IJUP 2012
  • Hugo Gouveia. 2009
  • Mara Matias. 2009
  • Ricardo Gomes. 2005