Recherche

Organisation des Journées annuelles du Groupe de Travail Logique, Algèbre et Calcul (LAC), les 28 et 29 novembre 2013. Plus d'informations ici.

Mes intérêts de recherche sont :

• les liens entre les langages de programmation et la logique, les systèmes de type, les preuves-comme-programmes, la certification de programme ;
• les systèmes de réécriture et leurs propriétés dynamiques, en particulier la terminaison ;
• le lambda-calcul et les calculs avec substitutions (et/ou autres opérateurs) explicites ;
• la logique et les réseaux de preuve de la logique linéaire.

Plus généralement, l'étude de questions syntaxiques et sémantiques autour des langages de programmation.

Cliquez ici pour accéder à la liste de mes publications sur HAL.