Émile Hazard - Home page


This is my research page. I was a PHD student from 2019 to 2022 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).

Explorable Automata, with Denis Kuperberg (CSL 2023).

Non-determinism, explorable automata and cyclic proofs (PhD thesis).

Data science projects

You can find some of my data science projects here.