Enzo Erlich

Ph.D. Student

IRIF and EPITA

lastname [at] irif.fr

I am Enzo ERLICH, PhD student in computer science at IRIF and EPITA, in France. My supervisors are Uli Fahrenberg (EPITA Rennes) and Jérémy Ledent (IRIF, Université Paris-Cité).

You can find my resume here (fr) (an english but older version is available here).

Centers of interest

I am broadly interested in theoretical Computer Science, with a preference for language theory, concurrency theory, automata and logics.

Publications

[Preprint] Emily Clement, Enzo Erlich, Jérémy Ledent, Expressivity of Linear Temporal Logic for Pomset Languages of Higher Dimensional Automata. arXiv:2410.12493
Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann, History-Deterministic Parikh Automata. CONCUR 2023: 31:1-31:16

Activity

2023: Admitted with rank 10 at the agrégation, the French exam for the recruitment of High School and CPGE teachers.
May-July 2022: Research internship realized under the supervision of Martin Zimmermann, DEIS, Aalborg University, Denmark
Study of the expressiveness of history-deterministic reversal-bounded counter machines and comparison to Parikh automata.
October 2021 - May 2022: Research project realized under the supervision of Loïc Hélouët, SUMO, Inria Rennes
Definition and study of the resilience problem with an unbounded number of delays. It essentially involves timed automata and verification using timed games.
May-July 2021: Research internship realized under the supervision of Cyril Gavoille, LaBRI, Bordeaux University, France
Conception of a uniform distributed algorithm for 3-coloration of pseudo-forests in the LOCAL model.

Formation

2023-2024: Second year of Master's Degree, Master Parisien de Recherche en Informatique (MPRI), Paris-Cité University.
2022-2023: Preparation for the agrégation exam at ENS Rennes.
2021-2022: First year Master's Degree of Computer Science, École normale supérieure de Rennes.
2020-2021: Bachelor's Degree of Computer Science, École normale supérieure de Rennes, with honors.
2018-2020: Classes Préparatoires aux Grandes Écoles, Lycée Saint-Louis, Paris.