معرفی
Eric Goubault is a Professor of Computer Science at École Polytechnique, where he leads the computer science department and the LIX laboratory (UMR 7161). His research centers on verification of numerical programs and systems, geometric methods for concurrency, and directed topology with applications in distributed and fault-tolerant computing. He oversees the Engineering of Complex Systems academic and research chair, sponsored by major industry partners like Thales and Naval Group, and manages the COMASIC master program.
Current projects include:
- ACAT (Applied and Computational Algebraic Topology)
- COVERIF (Abstract interpretation for floating-point verification)
- MALTHY (Algebraic methods for timed systems)
- CAFEIN (Numerical invariants analysis)
He has supervised multiple students, including:
- Current: Jérémy Ledent, Bibek Kabi, Nikolas Stott, Jérémy Dubut
- Past: Khalil Ghorbal
۰مقاله منتشرشده
