Simon Henry

Simon Henry is an Assistant Professor at the University of Ottawa since 2019, specializing in Category Theory and Higher Structures. His research bridges abstract mathematics with applications in homotopy theory, topos theory, and constructive mathematics.

• University: University of Ottawa
• Academic Rank: Assistant Professor

Henry completed his PhD under Alain Connes, focusing on connections between topos theory and noncommutative geometry. His work explores continuous Hilbert spaces over toposes and C*-algebraic structures.

Research interests include:

• Higher Category Theory and Homotopy Type Theory
• Strictification Theorems and Model Comparisons
• Topos Theory and Pointfree Topology
• Constructive Mathematics and Internal Logic

His recent publications emphasize inductive model structures, weak model categories, and algebraically cofibrant objects. Collaborations include work on classifying groupoids and ∞-groupoid models.

Henry actively contributes to mathematical discourse via MathOverflow and open-access research statements, encouraging graduate students (MSc/PhD) to reach him via email.