alexandre madeira

madeira@ua.pt


Courses

Discrete Mathematics (21/22) (coordinated by Dirk Hofmann) - , Departamento de Matemática da Universidade de Aveiro

Theory of Computation (21/22) (coordinator) - , Departamento de Matemática da Universidade de Aveiro

Computational Logic (20/21) (coordinator) - , Departamento de Matemática da Universidade de Aveiro

Numerical Methods And Statistics (2019/20, 2020/21, 2021/22) (coordinated by Pedro Macedo/Agostinho Agra) - , Departamento de Matemática da Universidade de Aveiro

Calculus II (2019/20) (coordinated by Uwe Kahler) - , Departamento de Matemática da Universidade de Aveiro

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

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 (2017/18, 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

Interacção e Concorrência (2015/16, 2016/17) (coordinator)- 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,

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