Juliana Cunha, PhD in Mathematics, Univ. Aveiro, co-supervision with Luís S. Barbosa.
Topic: (September 2023 -- )
Juliana Souza, PhD in Informatics, Univ Minho, co-supervision with Renato Neves.
Topic: Quantitative semantics of hybrid programming (September 2022 -- )
Manisha Jain, PhD in Mathematics, MAP-PDMA, co-supervision with Luís S. Barbosa (Sep 2020 -- ) Topic: Dynamic fuzzy logics for quantum programs: Foundations and applications
Leandro Gomes, PhD in Computer Science, MAP-i, co-supervision with Luís S. Barbosa.
(Concluded 2022) Topic: Weighted computations: semantics and program logics
MSc Students
Diana Angélica Vázquez Limón, MSc in Mathematics, DMAT, Univ. Aveiro Manuel A. Martins
Topic: Hybrid Automata: variants and generalizations (Sep 2023 -- )
Antonio Inglesias, MSc in Mathematics, DMAT, Univ. Aveiro Manuel A. Martins
Topic: Resource awared reactive graphs (Sep 2023 -- )
Luiz Almeida, MSc in Mathematics for Teachers, DMAT, Univ. Aveiro Manuel A. Martins
Topic: Turing Machines at the high school (Sep 2023 -- )
Luís Santos, MSc in Mathematics, DMAT, Univ. Aveiro Manuel A. Martins
Topic: Fuzzy process algebras (Sep 2022 -- )
Juliana Cunha, MSc in Mathematics and Applications, DMAT, Univ. Aveiro Luís S. BarbosaTopic: Non-classic semantics for specification structuring operators (Concluded in Feb 2023)
Susana Bessa, MSc in Mathematics for Teachers, DMAT, Univ. Aveiro Topic: As Tic e o Scratch na abordagem de temas da Matemática no 2º ciclo do ensino básico (Concluded in Feb 2023)
Diogo Rosa, MSc in Mathematics and Applications, DMAT, Univ. Aveiro, co-supervision with Eugénio Rocha and Isabel Pereira.
Topic: Estudo de Árvore de Falha com suporte do software Storm (Concluded in December 2021)
Ana Cruz, MSc in Physics Engineering, Univ. Minho, co-supervision with Luís S. Barbosa.
Topic: Exploring Paraconsistent Logics for Quantum Programs (Concluded in December 2021)
Bernardo Faria, MSc in Physics Engineering, Univ. Minho, co-supervision with Luís S. Barbosa.
Topic: Combining Paraconsistent And Dynamic Logic For Qiskit (Concluded in October 2021)
Yoan Ribeiro, MSc in Informatics Engineering, DI, Univ. Minho, co-supervision with Luís S. Barbosa.
Topic: Validation of IEC 61131-3 Programmable Logical Controllers in KeYmaera (Concluded in Jan, 2015)