Eric's research focuses on the verification of numerical programs and systems, on geometric methods for concurrency, directed topology and applications to verification of concurrent, distributed and fault-tolerant computing. He is currently the head of the computer science department at Ecole polytechnique, and is in charge of the "Engineering of Complex Systems" academic and research chair, together with Alexandre Chapoutot (ENSTA ParisTech) and Laurent Pautet (Télécom ParisTech), sponsored by Thalès, Dassault Aviation, Naval Group, DGA. This involves also the responsability of the master program COMASIC.