معرفی
Alexandre Madeira is an Associate Professor in the Mathematics Department at the University of Aveiro, Portugal. He is a member of CIDMA (Center for Research and Development in Mathematics and Applications) and collaborates with HASLab (INESC TEC). His work focuses on formal methods, dynamic logics, and their applications to cyber-physical systems and quantum programming.
Education:
- PhD in Computer Science (2013), University of Minho, awarded the Portuguese IBM Scientific Prize 2013
- MSc in Mathematics (200?), University of Aveiro
- Bachelor's in Applied Mathematics and Computation, University of Aveiro
Research Interests:
- Formal specification of software
- Dynamic/Modal logics
- Cyber-physical systems
- Quantum programming
- Algebraic specification
- Fuzzy logics
Projects:
- DaLí: Dynamic logics for cyber-physical systems (coordinator)
- Ibex: Quantitative methods for cyber-physical programming
- Klee: Coalgebraic modeling in synthetic biology
Awards:
- Portuguese IBM Scientific Prize (2013)
- Best paper nominee at SEFM 2019 for Hybrid Dynamic Logic
Academic Engagement:
- Co-chair of the DaLí Workshop series
- PC member for SEFM, CALCO, and others
- Editor of multiple conference proceedings and journal special issues
۰مقاله منتشرشده
