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.

Simon Forest's Academic Webpage

About me

Recent news