Phd Students
- Eva Maia (co-supervised with Rogério Reis). On the Descriptional Complexity of Some Operations and Simulations of Regular Models. 2012- 2016
- David Pereira (co-supervised with Simão Melo de Sousa). Towards Towards Certified Program Logics for the Verification of Imperative Programs. 2007-2012
- Marco Almeida (co-supervised with Rogério Reis) . Equivalence of regular languages: an algorithmic approach and complexity analysis. 2006-2011
Master Students
- Guilherme Duarte, Minimal Automata and Operational State Complexity of Block Languages. (co-supervised with Rogério Reis). Mestrado em Ciência de Computadores. 2024
- Miguel Ferreira. Significant Classes of NFA and their Random Generation. (co-supervised with Rogério Reis). Mestrado em Ciência de Computadores. 2018
- João Rebelo Pires. Transducers and 2D Regular Expressions. (co-supervised with Rogério Reis). Mestrado em Ciência de Computadores. 2018
- Rafaela Bastos (co-supervised with Rogério Reis). Manipulation of Extended Regular expressions. Mestrado em Ciência de Computadores. 2015
- Davide Nabais (co-supervised with Rogério Reis). Desco: a Web-base Knowledge System for Descriptional Complexity of Formal Languages. Mestrado em Ciência de Computadores. 2013
- 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
- Hugo Tavares, 2020
- Afonso Fernandes, 2019
- João Grifo Pires, CMUP 2016
- Miguel Ferreira. Project AVIACC, 2015, CMUP 2016, 2017
- Sílvia Cavadas. Project AVIACC, 2014
- Rafaela Bastos. Project CANTE 2012-2013
- Davide Nabais . Project CANTE 2010-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