J'appartiens au projet Airelles du laboratoire I3S. Mon domaine de recherche s'est situé dans la compilation et plus particulièrement dans la méta-compilation jusqu'au printemps 2007. Depuis ce printemps-là, l'équipe a décidé une ré-orientation vers le traitement des langues naturelles.
De 1999 à début 2007, j'ai travaillé en collaboration avec Emmanuel Kounalis (projet Contraintes et Preuves) sur une automatisation de preuve de programmes écrits dans un langage sous-ensemble de C.