Professor and researcher at the Laboratoire d'Informatique de l'X (LIX - UMR of the Ecole polytechnique in co-supervision with the CNRS).

General Engineer of the Corps des Mines and former student of the Ecole polytechnique (X 1986), he works within the Cosynus team dedicated to the analysis of computer programs and digital systems. More precisely, his research focuses on the static analysis of software systems, distributed, hybrid and cyber-physical. He develops abstract interpretation techniques to validate digital programs, and methods coming from algebraic topology to model and analyze parallel and distributed systems.

Éric Goubault is the holder of the "Complex Systems Engineering" Chair at the Ecole polytechnique supported by Thales, Dassault Aviation, the Naval Construction Department (DCNS), the General Directorate of Armament (DGA), and the academic partners Télécom ParisTech and ENSTA ParisTech.

Éric Goubault is also a member of the Research Commission associated with the General Council for Economics, Industry, Energy and Technologies (CGEIET) of the Ministry of Economy, Industry and Digital and member of the Steering Committee of the project «Computational Algebraic Topology» of the European Science Foundation.

His research focuses on the verification of numerical programs and systems, as well as on geometric methods for concurrency, directed topology, and their applications to the verification of concurrent, distributed, and fault-tolerant computing systems. He is currently the Head of the Computer Science Department at École Polytechnique. He also co-leads the academic and research chair Engineering of Complex Systems, alongside Alexandre Chapoutot (ENSTA ParisTech) and Laurent Pautet (Télécom ParisTech), with support from Thales, Dassault Aviation, Naval Group, and the DGA. This role also includes responsibility for the COMASIC master’s program.