Home Publications Training Teaching Bookmarks

  


Post-Graduated Students



Current Students.

PhD: Daniel Figueiredo, co-supervision with Luís S. Barbosa, Theme: Logic foundations and computational tools for synthetic biology (Sep, 2016).
PhD: Diana Costa, Theme: Paraconsistency in hybrid logic (Sep, 2015)
PhD: Renato Neves, co-supervision with Luís S. Barbosa, Theme: Logics and Calculi for Cyberphysical Components.(Jan, 2014)

Past Students.

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)