peoplepill id: benjamin-werner
BW
1 views today
1 views this week
The basics
Quick Facts
Intro
French computer scientist
Places
Work field
Gender
Male
Place of birth
Munich, Upper Bavaria, Bavaria, Germany
Star sign
GeminiAge
58 years
Family
Father:
Michael Werner
The details (from wikipedia)
Biography
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
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
- Georges Gonthier
Lien externe
- Page de Benjamin Werner sur le site de l'École polytechnique
Notes et références
Portail de l'informatique théorique
The contents of this page are sourced from Wikipedia article.
The contents are available under the CC BY-SA 4.0 license.
Lists
Benjamin Werner is in following lists
comments so far.
Comments
Benjamin Werner