(né le à Jallieu en Isère) est un mathématicien français, professeur d'informatique théorique à l'université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet.
Prix et distinctions
prix ACM SIGPLAN Programming Languages Software, pour le projet Coq, Association for Computing Machinery, 2013. prix ACM Software System, pour le projet Coq, Association for Computing Machinery, 2013.
Voir aussi Articles connexes Rocq (logiciel)
Notes et références
Liens externes Page personnelle
Catégorie:Personnalité en informatique théorique Catégorie:Logicien français Catégorie:Professeur à l'université de Göteborg Catégorie:Naissance en avril 1961 Catégorie:Naissance en Isère Catégorie:Mathématicien français du XXe siècle Catégorie:Mathématicien français du XXIe siècle Catégorie:Membre de l'Academia Europaea