bienvenue

ce site est consacré à mes activités de recherche ; pour mes activités d'enseignement, voyez plutôt ici.

thèmes de recherche

je m'intéresse à la logique, aux catégories, à la réécriture, et plus particulièrement au développement de méthodes géométriques et topologiques dans ces domaines.

pour en savoir davantage :

pour participer :