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. (Concluded 2022) 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 -- )
  • Juliana Souza, PhD in Informatics, Univ Minho, co-supervision with Renato Neves. Topic: Quantitative semantics of hybrid programming ( -- )

  • MSc Students

  • Juliana Cunha, MSc in Mathematics and Applications, DMAT, Univ. Aveiro Luís S. Barbosa Topic: Non-classic semantics for specification structuring operators (Sep 2022 -- )
  • Luís Santos, MSc in Mathematics for Teachers, DMAT, Univ. Aveiro Manuel A. Martins Topic: Non-classic semantics for specifications structuring operators (Sep 2022 -- )
  • 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
  • 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)