Hélène Coullon is Associate Professor in Computer Science at IMT Atlantique in the STACK research team (Inria, IMTA DAPI, LS2N), led by Adrien Lebre. Her research topics are programming models in the context of distributed infrastructures and systems. In particular, she is interested in the configuration, deployment, reconfiguration, and self-adaptation of large and complex distributed software systems.
Sergio Mover is Monge Associate Professor at the Department of Computer Science of École Polytechnique and a member of the Cosynus team at LIX. His work focuses on formal methods, particularly model checking using Satisfiability Modulo Theories (SMT) for different systems (hybrid systems and embedded software), and on program analysis.
