Arnaud Durand

Enseignant-chercheur à l'Université Denis Diderot - Paris 7 et membre de l'Équipe de Logique Mathématique (UMR 7056 du CNRS).

Responsable du Master 2 Logique Mathématique et Fondements de l'Informatique.


Quelques liens :