Benjamin Werner
French computer scientist
Biography
Lists
Also Viewed
The basics
Quick Facts
| Intro | French computer scientist | ||
| Places | France | ||
| is | Computer scientist | ||
| Work field | Technology Science | ||
| Gender |
| ||
| Birth | 10 June 1966, Munich, Upper Bavaria, Bavaria, Germany | ||
| Age | 58 years | ||
| Star sign | Gemini | ||
| Family |
|
The details
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