Thibault Hilaire

LaBRI, Bordeaux

avatar

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

Talk

I did a talk at the ANR BraVAS the 11 April 2022 pdf.

Missions

I attended:

Teaching

Interns

Contact