Eric Goubault Professor of Computer Science, École Polytechnique Office : Room 2153, LIX - UMR 7161 Ecole Polytechnique 1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing 91128 Palaiseau E-mail : Eric dot Goubault at polytechnique dot edu

My 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. I am currently the head of the computer science department at Ecole polytechnique, and I am 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

• ACAT project "Applied and Computational Algebraic Topology" (used to be an ESF funded project, now a network)
• "Engineering of Complex Systems" academic and research chair
• DGA MRIS project "Sûreté de Fonctionnement des Systèmes Robotiques Complexes" with ENSTA ParisTech and ENSTA Bretagne (latest meeting)
• ANR INS project COVERIF, Combining abstract interpretation and constraint programming to verify critical properties of embedded programs with floating point computations (2015-2018)
• ANR INS project MALTHY, Algebraic Methods for Model-Checking of Timed and Hybrid Systems (2014-2017)
• ANR INS project CAFEIN, Combining Formal Analyses for the Study of Numerical Invariants (2013-2016)

• FUI Project TANDEM
• ANR INS project DEFIS, Design of fixed-point embedded systems (2011-2015)
• Digiteo DIM LSC project SANSCRIT, Sous-approximations pour l'ANalyse Statique et la Commande Robuste (2010-2013, coordinator)
• ANR Blanc project CPP: Confidence, proof and probability (2009-2012)
• Digiteo Emergence Project PASO: Proof, Static Analysis and Optimisation (2009-2011, coordinator)
• ANR Arpège project ASOPT: Static Analysis and Optimisation (2009-2011)
• Research Group (GdR) MASCOT NUM Methods for Stochastic Analysis of Codes and Numerical Transformations

• Current students
• Jérémy Ledent
• Bibek Kabi
• Nikolas Stott
• Jérémy Dubut

• Past students
• Khalil Ghorbal