Benjamin Werner
Pour les articles homonymes, voir Werner.
Cet article est une ébauche concernant l’informatique théorique et la recherche scientifique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
| Naissance | |
|---|---|
| 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
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.
Notes et références
Voir aussi
Article connexe
Lien externe
- Page de Benjamin Werner sur le site de l'École polytechnique
