Benjamin Werner

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Benjamin Werner
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (50 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.

Travaux[modifier | modifier le code]

Benjamin Werner est directeur de recherche à l'INRIA. 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.

Voir aussi[modifier | modifier le code]

Lien externe[modifier | modifier le code]

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