![](\"wp-content\/uploads\/racines-501472_960_720-1.jpg\")
<\/p>\n<\/p>\n
Automata<\/strong> (monoids, automata of trees, infinite models …), Verification<\/strong> ( temporal<\/strong> logics, MSO and higher orders …), Algorithms and Complexity<\/strong> , Algorithmic geometry … see the detail<\/a> .<\/p>\n Various research activities ranging from Audio Segmentation<\/strong> to the theory of languages, to approximation, matroids or game theory: see the details of the subjects<\/a> or publications<\/a> .<\/p>\n Teaching experiences at all levels from L2 to M2 at IUT<\/a>, l’Universit\u00e9 Paris Sud<\/a>, Universit\u00e9 Paris Dauphine<\/a>, IFIPS<\/a>, \u00c9cole Polytechnique<\/a>. Voir le d\u00e9tail des enseignements<\/a>.<\/p>\n Research engineer since 2008, I specialize in Blockchain, and Xml technologies, with the will to always make online the tools I create.<\/span> View details of positions<\/a> , skills and projects<\/a> .<\/span><\/p>\n","protected":false},"excerpt":{"rendered":" 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<\/p>\nA passion for research<\/a><\/span><\/h2>\n
A Diverse<\/a> Teacher<\/span><\/h2>\n
A versatile<\/a> developer<\/span><\/h2>\n