Supervision
PresentConference Papers:
A list of my publications is also available on DBLP.Journal Papers:
Software
Thesis:
My thesis is entitled "Study of classes of regular cost functions", and explores a new quantitative extension of the theory of regular languages.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 DecidabilityPopularisation
Here are short articles and slides I wrote for popularisation of mathematics:Mathematics
Hobbies