alexandre madeira

madeira@ua.pt


  • courses:

    Cálculo de Programas (2018/19) (coordinated by José N. Oliveira) - 3rd year of Licenciatura em Ciências da Computação , Departamento de Informática da Universidade do Minho

    Quantum Computing (2018/19)- curricular year of the doctoral program MAP-i Universities of Minho, Aveiro and Porto,

    Lógica Computacional (2018/19) (coordinated by José E. Valença) - 3rd year of Licenciatura em Ciências da Computação , Departamento de Informática da Universidade do Minho

    Lógica Computacional (2017/18) (coordinated by José E. Valença) - 3rd year of Licenciatura em Ciências da Computação , Departamento de Informática da Universidade do Minho

    Interacção e Concorrência (2016/17)- 3rd year of Licenciatura em Ciências da Computação , Departamento de Informática da Universidade do Minho

    Algebraic and Coalgebraic Models in Software Development (2016/17)- curricular year of the doctoral program MAP-i Universities of Minho, Aveiro and Porto,

    Interacção e Concorrência (2015/16)- 3rd year of Licenciatura em Ciências da Computação , Departamento de Informática da Universidade do Minho

    Algebraic and Coalgebraic Models in in Software Development (2015/16)- curricular year of the doctoral program MAP-i Universities of Minho, Aveiro and Porto, with the module - A generic approach to Modal Logic

  • students:

    MSc: Yoan Ribeiro, MSc in Informatics Engineering, DI, Univ. Minho, co-supervision with Luís S. Barbosa. Theme: Validation of IEC 61131-3 Programmable Logical Controllers in KeYmaera ( Concluded in Jan, 2015)

  • PhD: Leandro Gomes, PhD in Computer Science, MAP-i, co-supervision with Luís S. Barbosa. (Jan 2016 -- )