Simon Forest's Academic Webpage

About me

I am currently a postdoc in the LSC team of the LIS laboratory, in Aix-Marseille Université, under the supervision of Pierre Clairambault. My research interests include (higher) category theory, logic, semantics and programming languages.

Before my current position,

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.