Thesis:
My thesis is entitled "Study of classes of regular cost functions", and explores a new quantitative extension of the theory of regular languages.Conference Papers:
A list of my publications is also available on DBLP.Journal Papers:
Software
Talks
Click on the titles for slides.Fall Semester 2018
ENS Lyon Master 2 course with Matteo Mio: Logic, Automata and Games for Advanced VerificationSpring Semester 2018
ENS Lyon Master 1 course: Semantics and VerificationFall Semester 2017
ENS Lyon Master 2 course with Matteo Mio: Monadic Second Order Logic, Automata, Expressivity and DecidabilityFall Semester 2016
ENS Lyon Master 2 course with Colin Riba and Matteo Mio: Monadic Second Order Logic, Automata, Expressivity and DecidabilityDuring the PhD
I was an assistant teacher during 3 years in the department of computer science of Université Paris Diderot.Popularisation
Here are short articles and slides I wrote for popularisation of mathematics:Mathematics
Hobbies