I am an assistant professor at Ecole Polytechnique in the PARTOUT team since October 2023. My research interests mainly lie in Type Theory and Category Theory, see my research statement. Feel free to contact me if you are interested in working with me! Here are some examples of subjects for an internship or a PhD.