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 :

collaborateurs

visitez les pages de Dimitri, Albert, Yves G., Yves L., Philippe, Samuel, Krzysztof et celle de Léonard Guetta, dont j'ai supervisé la thèse en codirection avec Clemens Berger.