Je suis maître de conférences en mathématiques à l'université de la Méditerranée depuis septembre 2009. J'ai rejoint l'équipe LDP de l'IML après une thèse de mathématiques dans cette équipe, suivie d'une année d'ATER en informatique à l'université de Savoie.
Depuis septembre 2011, je suis également directeur de l'IREM d'Aix-Marseille.
Mes intérêts de recherche se situent à l'interface entre informatique et logique. Mon domaine de prédilection est la théorie de la démonstration, éclairée par la correspondance preuves-programmes.
Plus précisément, mes activités de recherche à ce jour sont concentrées autour de trois domaines distincts mais intimement connectés:
Mes articles sont disponibles sur ce site. Une description de ma thèse et les documents associés se retrouvent sur une page dédiée. On peut également consulter la liste donnée par DBLP.
Je propose aussi des sujets de stages.
Depuis l'été 2010, Emmanuel Beffara et moi mettons en place une gestion durable du tableau noir.
Je suis membre du groupe de travail Geocal du GDR Informatique Mathématique. Je suis également membre des projets Choco, Logoi et Loci de l'ANR.
Je suis coordinateur du projet QuAND, sur un financement PEPS de l'INS2I.
Si vous passez vers Malaucène (84), faites donc un tour à la Galerie Martagon…