Benjamin Werner

Un article de Wikipédia, l'encyclopédie libre.
Benjamin Werner
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (55 ans)
MunichVoir et modifier les données sur Wikidata
Nationalité
Formation
Activité
Père
Fratrie

Benjamin Werner, né le à Munich, est un chercheur français en informatique.

Il est le fils de l'historien Michael Werner et le frère du mathématicien Wendelin Werner.

Etudes[modifier | modifier le code]

Ancien élève de l'Ecole 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[modifier | modifier le code]

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[1],[2].

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.

Notes et références[modifier | modifier le code]

Voir aussi[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Lien externe[modifier | modifier le code]