alexandre madeira

madeira@ua.pt


Supervision

  • PhD Students

    Manisha Jain, PhD in Mathematics, MAP-PDMA, co-supervision with Luís S. Barbosa and Alexandru Baltag (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. (Jan 2016 -- ) Topic: Weighted computations: semantics and program logics

    Ana Cruz, PhD in Mathematics, Univ. Aveiro, co-supervision with Luís S. Barbosa. Topic: tba (December 2021 -- )

  • MSc Students

    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 December 2021)

  • 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)