Alexandre Madeira

Associate Professor — Mathematics Department, University of Aveiro

Email: madeira@ua.pt

I am an associate professor in the Mathematics Department at University of Aveiro, a member of CIDMA

Research interests

  • Modal / hybrid / dynamic / paraconsistent logics
  • Combination and systematic generation of logics
  • Formal specification of software
  • Algebraic specification

Projects

  • Banksy — A paraconsistent inference engine to support research in age-related macular degeneration
  • Ibex — Quantitative methods for cyber-physical programming
  • DaLí — Dynamic logics for cyber-physical systems
  • Klee — Coalgebraic modeling for synthetic biology
  • DaVinci: Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
  • TRUST — Trustworthy Software Design with Alloy
  • NASONI: Heterogeneous software coordination: Foundations, methods, tools
  • MONDRIAN: Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability

Events

I served as (Co-)Chair of the following conferences and workshops in formal methods and logic:

I'm in the organization committe of

and I'm serving as PC member of