معرفی
Emmanuel Haucourt is a Professor of Computer Science at École Polytechnique, conducting research at the Computer Science Laboratory (LIX) within the Cosynus team. His work focuses on applying directed algebraic topology to analyze concurrent programs.
- Research Interests: Directed Algebraic Topology, Concurrency Theory, Geometric Models in Computer Science, Static Analysis of Concurrent Programs, Software Verification, and Theoretical Computer Science.
Publications Trends: His publications emphasize the use of higher-dimensional geometric structures (e.g., d-spaces, cubical areas, non-Hausdorff manifolds) to model concurrency, enabling deadlock detection and state-space reduction through theoretical advances in category theory and topology.
Laboratory: Affiliated with the Computer Science Laboratory (LIX) at École Polytechnique and the Cosynus team.
۰مقاله منتشرشده
