Simon Forest's Academic Webpage

About me

I am currently an assistant professor (maître de conférences) at Université de Lorraine, in the MOCQUA team of the Loria laboratory. My research interests include (higher) category theory, logic, semantics and programming languages.

Before my current position,

From January 2025 to August 2025, I was a postdoc in the LSC team of the LIS laboratory, in Aix-Marseille Université, under the supervision of Pierre Clairambault.
From June 2024 to December 2024, I was a postdoc in the APR team of the LIP6 laboratory, in Sorbonne Université, under the supervision of Christine Tasson.
From January 2023 to January 2024, I was a postdoc in the LSC team of the LIS laboratory, in Aix-Marseille Université, under the supervision of Pierre Clairambault.
From September 2021 to December 2022, I was a postdoc in the LdP team the I2M laboratory, in Aix-Marseille Université, under the supervision of Lionel Vaux Auclair.
From September 2020 to August 2021, I was ATER at IRIF in Université de Paris;
From 2017 to 2020, I was a PhD student at Laboratoire d’informatique de l’X and Université Paris Diderot under the supervision of Samuel Mimram and Yves Guiraud;
in 2016, I did an internship at École Polytechnique with Samuel Mimram. I worked on Street’s parity complexes and Johnson’s pasting schemes that are structures used to represent some ω-categories;
in 2015, I did an internship at INRIA Paris with Cătălin Hriţcu where I worked on F* which is a programming language and a verification tool;
in 2014, I did an internship at the Institute for Quantum Computing, in the University of Waterloo, Canada. There, I studied quantum gates and looked for techniques to generate them efficiently.

You can have a look at my CV.

I sometimes use github for my projects.

News

September 1, 2025 - Starting as an assistant professor at Université de Lorraine, Nancy
February 13, 2025 - Talk at LdP team seminar in Marseille about computational methods for category theory
January 27, 2025 - My preprint about a comptutational method for left-adjointness is out
April 15, 2024 - Our paper with Pierre Clairambault was accepted at LICS24
January 30, 2024 - Our preprint with Pierre Clairambault about investigating symmetries in the thin span model (and others) is out
April 5, 2023 - Our paper with Pierre Clairambault about thin spans was accepted at LICS23
January 30, 2023 - Our preprint with Pierre Clairambault about thin spans is out
November 29, 2022 - Our preprint with Samuel Mimram about free precategories is out
October 13, 2022 - Talk at LHC22 about our joint work with Pierre Clairambault about thin spans
April 6, 2022 - My preprint revisiting Batanin’s treatment of globular algebras is out
November 22, 2021 - Talk and 3-week stay at Cambridge Computer Laboratory (invitation: Jamie Vicary)
September 14, 2021 - Our preprint with Samuel Mimram about coherence on Gray categories is out
September 1, 2021 - Starting a one-year postdoc at I2M in Marseille
January 8, 2021 - PhD defense at 9:30am
October 21, 2019 - An implementation of Makkai’s equality test for polygraphs