PhD: Daniel Figueiredo, co-supervision with Luís S. Barbosa, Theme: Logic foundations and computational tools for synthetic biology (Feb, 2020)
Post-doc: Alexandre Madeira - Dynamic logics for every season, supported by the FCT (Portuguese Foundation for Science and technology) with the individual grant SFRH /BPD/103004/2014 at HASLab - INESC TEC and CIDMA . The project is supervised by Luís S. Barbosa (Informatics Dep. of Univ. Minho) and Manuel A. Martins (Mathematics Dep. of Univ. Aveiro). (Jul, 2015)
PhD: Diana Costa, Theme: Paraconsistency in hybrid logic (Feb, 2019)
PhD: Renato Neves, co-supervision with Luís S. Barbosa, Theme: Logics and Calculi for Cyberphysical Components.(July, 2018)
MSc: Fábio Barbosa, Theme: Probabilistic Logic (July 2016)
MSc: Daniel Figueiredo, Theme: Hybrid Systems (July 2015)
MSc: Diana Costa, Theme: Paraconsistency in hybrid logic (July 2014)
MSc: Renato Neves, co-supervision with Luís S. Barbosa, Theme: Proof support for hybridised logics (September 2013)
PhD: Alexandre Madeira, co-supervision with Luís S. Barbosa and Razvan Diaconescu (as external supervisor), MAP-i programme. Theme: Behavioural Certification of Evolving Software Requirements (July 2013)
MSc: Pedro Nora, co-supervision with Dirk Hofmann, Theme: Dualidades na Lógica Modal (December 2012)
MSc: Luisa Casanova Afonso, co-supervision with Rui Duarte, Theme: A matemática de alguns jogos (December 2012)
MSc: Ângela Ribau, co-supervision with Luís Descalço, Maths Dep., Univ. Aveiro. Theme: Míquinas algíbricas (December 2009)
MSc: Jacinta Poías, MSc in Mathematics, Maths Dep., Univ. Aveiro. Theme: Leibniz Hierarchy (July 2009)
MSc: Nilde Barreto, co-supervision with David Vieira, Theme: Análise estruturada e formal das provas. (July 2009)
MSc: Sandra Ramos, co-supervision with Luís Descalço, Theme: Monoide bicílico (July 2008)
MSc: Alexandre Madeira, co-supervision with Luís Descalço, Theme: Equivalência Comportamental; uma perspectiva algébrica. (June 2008)