Émile Hazard - Home page


I am a PHD student since 2019 at LIP, ENS de Lyon, Plume team, under the supervision of Denis Kuperberg and Damien Pous.

My research interests include automata, logic, cyclic proofs and determinization.

You can find some information about my teachings at the ENS here, and my CV here.


Cyclic proofs for transfinite expressions, with Denis Kuperberg (CSL 2022).

This page is a work in progress (and might remain one for quite some time).