About
I am a PhD student in 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)
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
- 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
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