alexandre madeira
madeira@ua.pt
I'm associate professor of Mathematics Department of University of Aveiro, a member of CIDMA and a coolaborator of HASLab - INESC TEC . Before that, I developed the postdoc "dynamic logics for every season" supported by the FCT (Portuguese Foundation for Science and technology) with the individual grant SFRH/BPD/103004/2014 at HASLab - INESC TEC and CIDMA . The project was supervised by Luís S. Barbosa (Informatics Dep. of Univ. Minho) and Manuel A. Martins (Mathematics Dep. of Univ. Aveiro).
I have recently coordinated the FCT R&D project DaLí: Dynamic logics for cyber-physical systems: towards contract based design.
education
- PhD in Computer Science ( work awarded with the Portuguese IBM Scientific Prize 2013) Informatics Dep. of U. Minho, Portugal
- MSc in Mathematics. Mathematics Department of University of Aveiro, Portugal
- Degree in Applied Mathematics and Computation. Mathematics Department of University of Aveiro, Portugal
research interests
- formal specification of software
- combination and systematic generation of logics
- modal/hybrid/dynamic logics
- algebraic specification
projects
current
- Ibex: Ibex - Quantitative methods for cyber-physical programming
- DaLí: Dynamic logics for cyber-physical systems: towards contract based design
- Klee: Coalgebraic Modeling and Analysis for Computational Synthetic Biology
- DaVinci: Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
- TRUST: Trustworthy Software Design with Alloy
past
- NASONI: Heterogeneous software coordination: Foundations, methods, tools.
- MONDRIAN: Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
