Simon Henry

Simon Henry is an Associate Professor in the Department of Mathematics and Statistics at the University of Ottawa, Faculty of Science. His research focuses on category theory, higher category theory, topos theory, and their applications in non-commutative geometry and constructive mathematics. He earned his PhD under Alain Connes (2010–2014), studying the interplay between topos theory and operator algebras. Since 2015, his work has expanded into higher category theory, including strictification theorems and the Simpson conjecture. Active on MathOverflow, he contributes to categorical logic, homotopy type theory, and foundational mathematics.

Research interests include categorical homotopy theory, model categories, and the Grothendieck homotopy hypothesis. His publications explore inductive model structures, locale theory, and constructive approaches to metric spaces. He supervises students in these areas and maintains an arXiv profile with over 20 papers.

Key contributions include work on ∞-categories, topos-based non-commutative geometry, and categorical foundations for univalent foundations. He also explores connections between Feynman diagrams and category theory, reflecting his interdisciplinary approach to mathematical structures.