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,

You can have a look at my CV.

I sometimes use github for my projects.

Recent news