Juliana Cunha, PhD in Mathematics, Univ. Aveiro, co-supervision with Luís S. Barbosa.
Topic: On paraconsistent transitions systems (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 (co-supervision with Manuel A. Martins)
Topic: Hybrid Automata: variants and generalizations (Sep 2023 -- )
Ikeshi Osundu, MSc in Mathematics, DMAT, Univ. Aveiro (co-supervision with Manuel A. Martins)
Topic: Modeling heterogencous use cases: aprocess algebra approach (Sep 2023 -- )
Antonio Inglesias, MSc in Mathematics, DMAT, Univ. Aveiro (co-supervision with Daniel Figueiredo)
Topic:
Transition systems everywhere: from possibilistic to temporal and probabilistic verification (Concluded in July 2024)
David Tinoco, MSc in Mathematics, DMAT, Univ. Aveiro (co-supervision with Manuel A. Martins)
Topic: Reactive Graphs in action (Concluded in July 2024)
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)