Eric Goubault

Eric Goubault is a Professor of Computer Science at École Polytechnique, France, where he leads the Department of Computer Science. He holds a position at the Laboratoire d'informatique (LIX), part of the UMR 7161 research unit. His research focuses on formal verification of numerical programs, concurrency theory, directed algebraic topology, and hybrid systems. Currently, he directs the 'Engineering of Complex Systems' academic and research chair alongside colleagues from ENSTA ParisTech and Télécom ParisTech, supported by industry partners like Thales and Dassault Aviation.

Key roles include heading the master's program COMASIC (Conception, Modélisation et Architecture des Systèmes Industriels Complexes) and overseeing ongoing projects such as the ANR-funded Coverif, Malthy, and CAFEIN initiatives. His work bridges theoretical computer science with practical applications in embedded systems and safety-critical software validation.

Research interests span geometric methods for concurrency, topological approaches to verification, and robustness analysis of numerical computations. Notable contributions include developing abstract interpretation techniques for static analysis and co-authoring the book *Directed Algebraic Topology and Concurrency* (2016). He advises multiple PhD students and collaborates on projects involving distributed computing and fault-tolerant protocols.

Recent activities include organizing academic positions openings at LIX and contributing to conferences like CAV, EMSOFT, and FLOC. His publications emphasize formal methods, hybrid systems analysis, and geometric models for distributed systems.