Bienvenue !

Enseignant-chercheur en Informatique à l'ENSISA (Ecole Nationale Supérieure d'Ingénieurs sud-Alsace), mes centres d'intérêts sont notamment les méthodes formelles "appliquées", avec par exemple le domaine du Web Sémantique, ou encore la programmation fonctionnelle pour des programmes plus performants.

En particulier, mes recherches sur ces sujets m'ont permis de proposer à la communauté scientifique de nouveaux éléments théoriques mais aussi des outils "innovants". Mon CV est consultable ici.

Depuis 2024, j'assure les fonctions de Directeur des Etudes de l'ENSISA.