معرفی
Alexandre Madeira is an Associate Professor in the Mathematics Department at the University of Aveiro (Portugal), affiliated with CIDMA and collaborating with HASLab-INESC TEC. He holds a PhD in Computer Science from the University of Minho, awarded the Portuguese IBM Scientific Prize 2013. His research focuses on formal methods, dynamic logics, algebraic specifications, and cyber-physical systems.
**Education**: PhD in Computer Science (University of Minho, 2013), MSc in Mathematics (University of Aveiro, 200?), and a degree in Applied Mathematics and Computation (University of Aveiro).
**Research Interests**: Formal specification of software, combination of logics, modal/hybrid/dynamic logics, algebraic specification, and applications to quantum programming and cyber-physical systems. Projects include DaLí, Ibex, and Klee.
**Awards**: Portuguese IBM Scientific Prize 2013.
**Editorial Roles**: Editor for journals and conferences such as *Journal of Logical and Algebraic Methods in Programming* and *SEFM 2024*.
**Teaching**: Coordinates courses like Elements of Logic, Computational Logic, and Analysis and Development of Algorithms at the University of Aveiro. Also teaches at the University of Minho on topics like Quantum Computing and Algebraic Logic.
**Supervision**: Supervises PhD and MSc students in formal methods, paraconsistent systems, and quantum logics. Notable advisees include Juliana Cunha and Leandro Gomes.
