Une longue formation théorique
Automates (monoïdes, automates d’arbres, modèles infinis …), Vérification (logiques temporelles, MSO et ordres supérieurs …), Algorithmique et Complexité, Géométrie algorithmique… voir le détail.
Une passion pour la recherche
Des travaux de recherche variés allant de la Segmentation Audio à la théorie des langages, en passant par l’approximation, les matroïdes ou la théorie des jeux : voir le détail des sujets ou des publications.
Un enseignant diversifié
Des expériences d’enseignement à tous les niveaux du L2 au M2 à l’IUT, l’Univeristé Paris Sud, l’Université Paris Dauphine, l’IFIPS, l’École Polytechnique. Voir le détail des enseignements.
Un développeur polyvalent
Ingénieur de recherche depuis 2008, je me suis spécialisé dans les technologies Blockchain et Xml, avec la volonté de toujours rendre disponible en ligne les outils que je crée. Voir les détails des postes, des compétences et des projets.