معرفی
Samuel Mimram is a Professor at the LIX laboratory of École Polytechnique (part of Institut Polytechnique de Paris). He serves as President of the Computer Science Department and Head of the Cosynus team, focusing on interdisciplinary research at the intersection of denotational semantics, concurrency, rewriting theory, category theory, linear logic, and algebraic topology.
His recent work explores homotopy type theory, higher categories, and coherence in rewriting systems, with publications in venues like FSCD, LIPIcs, and Higher Structures.
He mentors interns (e.g., Hugo Salou, William Hasley) and participates in academic juries for PhD theses (e.g., Thomas Jan Mikhail, Luc Chabassier). Contact: samuel.mimram@polytechnique.edu.
۰مقاله منتشرشده
