A long theoretical training
Automata (monoids, automata of trees, infinite models …), Verification ( temporal logics, MSO and higher orders …), Algorithms and Complexity , Algorithmic geometry … see the detail .
A passion for research
Various research activities ranging from Audio Segmentation to the theory of languages, to approximation, matroids or game theory: see the details of the subjects or publications .
A Diverse Teacher
Teaching experiences at all levels from L2 to M2 at IUT, l’Université Paris Sud, Université Paris Dauphine, IFIPS, École Polytechnique. Voir le détail des enseignements.
A versatile developer
Research engineer since 2008, I specialize in Blockchain, and Xml technologies, with the will to always make online the tools I create. View details of positions , skills and projects .