معرفی
Xavier Allamigeon is a researcher at INRIA and CMAP (Centre de Mathématiques Appliquées) at École Polytechnique, where he also serves as a part-time associate professor in the Applied Mathematics Department. His research focuses on optimization, combinatorics, tropical geometry, game theory, and formalization of mathematics in proof assistants, with a particular emphasis on computational aspects of these fields.
He earned his Ph.D. in 2009 from École Polytechnique with a thesis on static analysis of memory manipulations and tropical polyhedra. His work bridges theoretical mathematics and practical applications, including contributions to emergency call center modeling and epidemic monitoring during the COVID-19 pandemic.
Key awards include the 2022 Prix Inria–Académie des sciences, the 2021 SIAM SIGEST award, and the 2010 Gilles Kahn Prize for Best Dissertation in Computer Science. His research has led to the development of tools like the Tropical Polyhedra Library (TPLib) and formal proofs in proof assistants such as Coq.
He has supervised multiple Ph.D. students and contributed to funded projects such as URGE (2023–2026) and CAPPS (2018–2021). His interdisciplinary work spans optimization, formal methods, and applied mathematics, with applications in healthcare systems and computational geometry.
