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

Events

I'm (Co-)Chair the following fortcoming (and recent) events
  • SEFM'24 -22nd International Conference on Software Engineering and Formal Methods
  • WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022
  • 1st DaLí Workshop - Dynamic Logic: new trends and applications
  • I'm PC member of the following fortcoming (and recent) events
  • WADT 2024- 27th International Workshop on Algebraic Development Techniques
  • ICEDEG 2024 - Tenth International Conference on eDemocracy & eGovernment
  • AILA 2024 - The 4th International Conference on AI Logic and Applications
  • DaLí 2023- Dynamic Logic – New trends and applications.
  • LSFA 2022- 17th International Workshop on Logical and Semantic Frameworks
  • 4rd DaLí Workshop- Dynamic Logic: new trends and applications
  • 3rd DaLí Workshop- Dynamic Logic: new trends and applications
  • The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2020)
  • ICEDEG 2020 - Seventh International Conference on eDemocracy & eGovernment
  • 2nd DaLí Workshop- Dynamic Logic: new trends and applications
  • SmartGov 2019 - EAI International Conference on Smart Governance for Sustainable Smart Cities
  • International Symposium on Molecular Logic and Computational Synthetic Biology
  • 1st DaLí Workshop - Dynamic Logic: new trends and applications