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 :
- un blog à plusieurs voix et son laboratoire
- une mémorable conférence
- des rencontres récentes : Homotopie et Égalité en Théorie des Types, Opérades et Réécriture, la semaine Algèbre et Calcul de l'école d'hiver Logique et Interactions 2012...
pour participer :