Simon Forest's Academic Webpage
About me
I am currently a postdoc at LIS, in Aix-Marseille Université. My research interests include category theory, higher category theory, logic, semantics and programming languages.
You can have a look at my research here.
Before my current position,
- From September 2021 to December 2022, I was a postdoc at I2M in Aix-Marseille Université;
- 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.
Recent news
- January 30, 2023 - My preprint with Pierre Clairambault about thin spans is out
- November 29, 2022 - My 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