About
I am an A.T.E.R. at the Enseirb-matmeca and doing my research at the LaBRI. I did my PhD at the LaBRI, Bordeaux, under the supervision of Jérome Leroux and David Ilcinkas. My thesis is about Certification in Coq of Petri Nets, but I am interested in everything related to automata, logics and verification. I am also a member of the AFoDIB board.
I did my scholarship at the ENS Paris-Saclay in the computer science department.
Publications
- A State-of-the-Art Karp-Miller Algorithm certified in Coq doi: 10.1007/978-3-031-57246-3_21 (TACAS 2024)
- On the Reachability Problem for Two-Dimensional Branching VASS (accepted at MFCS 2025)
Talk
- I did a talk at the ANR BraVAS the 11 April 2022 pdf.
- I did a talk at TACAS 2024
Missions
I attended:
- a 3-day reunion of ANR Descartes in November 2021
- Math Comp School & Workshop - 2022
- a 3-days reunion of ANR ESTATE in March 2022
- a reunion of ANR BRAVAS the 11 April 2022
- the conference Highlights of Logic, Games and Automata in July 2023
- AlgoTel/CoRes shadow PC 2024
- the conference Highlights of Logic, Games and Automata in September 2024
Teaching
At the University of Bordeaux :
- Logique et preuves, Licence 3 Info, 2021/2022 and 2023/2024
- Projet technologique, Licence 1 Info, 2021/2022
- Complexité et Calculabilité (CoCa) , Master 1 Info, 2022/2023
- Initiation au développement logiciel, Licence 1 Info, 2022/2023
At the ENSEIRB-MATMECA
- IF107 : Logique et preuve, niveau L3 (TD)
- PG101 : Programmation Impérative 1, niveau L3 (TP)
- PR103 : Projet d’algorithme et de programmation 1, niveau L3 (TP)
- Spécification et preuve formelle de programmes, niveau M2 (TP cours intégré)
- IF202 : Cryptologie, niveau M1 (TD/TP)
- IF228 : Calculabilité et complexité, niveau M1 (TD)
- IT201 : Systèmes d’Exploitation, niveau M1 (TP)
- RE100 : Introduction réseaux, niveau L3 (TD cours intégré)
- Intelligence artificielle, niveau M1 (TD/TP)
- PR106 : Projet d’algorithme et de programmation fonctionnelle, niveau L3 (TP)
Interns
- Clotilde Bizière (March 2023 - July 2023) with Jérome Leroux and Grégoire Sutre
- Loïc Chevalier (June 2023 - July 2023) with Jérome Leroux and David Ilcinkas
Contact
- Mail: firstname.lastname@labri.fr
- ORCID : 0009-0008-7324-8767
- IdHal : thibault-luc-hilaire
- Address : Office 257, LaBRI
351, Cours de la Libération, F-33405 Talence Cedex, France