Benjamin Werner, né le à Munich, est un chercheur français en informatique.
Études Ancien élève de l'École polytechnique, il a obtenu des DEA en mathématiques et en informatique. Il a obtenu un doctorat en sciences à l'université Paris-Diderot sous la direction de Christine Paulin-Mohring.
Travaux Werner a d'abord été chercheur postdoctoral à l'Université Ryukoku (Kyoto) et à l'Université de Cornell. Il est entré à l'INRIA en 1994.
Benjamin Werner est directeur de recherche à l'INRIA et Professeur à l'École polytechnique. Il a notamment été membre de la composante mathématiques du centre de recherche conjoint INRIA/Microsoft...
Ses travaux portent sur la théorie des types et les assistants de preuve. Il a en particulier participé à la démonstration formalisée du théorème des quatre couleurs.
Famille Benjamin Werner est le fils de l'historien Michael Werner et le frère du mathématicien Wendelin Werner.
Notes et références
Voir aussi Article connexe Georges Gonthier
Lien externe Page de Benjamin Werner sur le site de l'École polytechnique
Catégorie:Personnalité en informatique théorique Catégorie:Personnalité en langages de programmation Catégorie:Personnalité en méthodes formelles Catégorie:Informaticien français Catégorie:Élève de l'École polytechnique Catégorie:Assistant de preuve Catégorie:Théorie des types Catégorie:Naissance en juin 1966