![](\"wp-content\/uploads\/racines-501472_960_720-1.jpg\")
<\/p>\n<\/p>\n
Automates<\/strong> (mono\u00efdes, automates d\u2019arbres, mod\u00e8les infinis \u2026), V\u00e9rification<\/strong> (logiques temporelles, MSO et ordres sup\u00e9rieurs \u2026), Algorithmique et Complexit\u00e9<\/strong>, G\u00e9om\u00e9trie algorithmique\u2026 voir le d\u00e9tail<\/a>.<\/p>\n Des travaux de recherche vari\u00e9s allant de la Segmentation Audio<\/strong> \u00e0 la th\u00e9orie des langages, en passant par l’approximation, les matro\u00efdes ou la th\u00e9orie des jeux : voir le d\u00e9tail des sujets<\/a> ou des publications<\/a>.<\/p>\n Des exp\u00e9riences d’enseignement \u00e0 tous les niveaux du L2 au M2 \u00e0 l\u2019IUT<\/a>, l’Univerist\u00e9 Paris Sud<\/a>, l’Universit\u00e9 Paris Dauphine<\/a>, l’IFIPS<\/a>, l’\u00c9cole Polytechnique<\/a>. Voir le d\u00e9tail des enseignements<\/a>.<\/p>\n Ing\u00e9nieur de recherche depuis 2008, je me suis sp\u00e9cialis\u00e9 dans les technologies Blockchain et Xml, avec la volont\u00e9 de toujours rendre disponible en ligne les outils que je cr\u00e9e. Voir les d\u00e9tails des postes<\/a>, des comp\u00e9tences et des projets<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":" Une longue formation th\u00e9orique Automates (mono\u00efdes, automates d\u2019arbres, mod\u00e8les infinis \u2026), V\u00e9rification (logiques temporelles, MSO et ordres sup\u00e9rieurs \u2026), Algorithmique et Complexit\u00e9, G\u00e9om\u00e9trie algorithmique\u2026 voir le d\u00e9tail. Une passion pour la recherche Des travaux de recherche vari\u00e9s allant de la Segmentation Audio \u00e0 la th\u00e9orie des langages, en passant par l’approximation, les matro\u00efdes ou la<\/p>\nUne passion pour la recherche<\/a><\/h2>\n
Un enseignant<\/a> diversifi\u00e9<\/h2>\n
Un d\u00e9veloppeur<\/a> polyvalent<\/h2>\n