⚡ The wonderful site of Émile Oleon ⚡

I am currently a (2nd year) PhD student in LIX laboratory at École polytechnique.

Before that, I did a master degree in computer science at Ecole normale supérieure Paris-Saclay, and a master degree in fundamental mathematics at Sorbonne université. Here is my CV for more details.

I’m mainly focused on the interface between algebraic topology and type theory. My goal is to construct cellular resolutions of groups in the setting of homotopy type theory ; this implies the use of higher rewriting techniques, as well as geometric models of groups (such as this one for instance). On this site you can find my research papers for more detail. Feel free to contact me if you share common interests !

You will as well find some other things here. 🐱