The Cosynus team is part of the LIX laboratory at École Polytechnique. It focuses on semantics and static analysis of software systems, in particular those which are distributed, hybrid and cyber-physical. It is particularly interested in the following kind of properties.

  • Numerical: robustness with uncertainties, implementations with finite precision, etc.
  • Symbolic: process coordination in presence of synchronization primitives, etc.
For that purpose, techniques based on abstract interpretation and algebraic topology are developed.