Benjamin Werner
Un article de Wikipédia, l'encyclopédie libre.
  |
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
Benjamin Werner (né le 10 juin 1966 à 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.
Sommaire |
Travaux [modifier]
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]
Lien externe [modifier]
- Page de Benjamin Werner sur le site de l'École polytechnique
