Benjamin Werner
- Benjamin Werner
-
Benjamin Werner (né le 10 juin 1966 à Munich) est un chercheur français en informatique. Il 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. Il est le frère de Wendelin Werner.
Voir aussi
Liens externes
Notes et références
Catégories :
- Personnalité en informatique théorique
- Personnalité en langages de programmation
- Personnalité en méthodes formelles
- Personnalité française en informatique
- Élève de l'École polytechnique (France)
- Assistant de preuve
- Théorie des types
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Benjamin Werner de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Werner — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Pour consulter un article plus général, voir : Nom de famille germanique. Werner est un prénom allemand d origine germanique. Il est devenu un… … Wikipédia en Français
Benjamin Katz — (2007) Benjamin Katz (* 14. Juni 1939 in Antwerpen, Belgien) ist ein in Belgien geborener deutscher Fotograf. Inhaltsverzeichnis … Deutsch Wikipedia
Werner Karl Heisenberg — Werner Heisenberg, um 1927 Werner Karl Heisenberg (* 5. Dezember 1901 in Würzburg; † 1. Februar 1976 in München) war einer der bedeutendsten Physiker des 20. Jahrhunderts und Nobelpreisträger. Er formulierte 1927 die nach ihm benannte… … Deutsch Wikipedia
Werner Scholem — (* 29. Dezember 1895 in Berlin; † 17. Juli 1940 im KZ Buchenwald) war ein deutscher Abgeordneter und Parteiführer der KPD im Reichstag. Inhaltsverzeichnis 1 Leben 1.1 Bis zum Ausschluss aus der KPD (1926) … Deutsch Wikipedia
Werner Fuld — (* 1947 in Heidelberg) ist ein deutscher Autor und Literaturkritiker. Inhaltsverzeichnis 1 Leben 2 Schriften 2.1 Buchveröffentlichungen 2.2 … Deutsch Wikipedia
Werner Heisenberg — 1933, im Jahr zuvor wurde er mit dem Nobelpreis für Physik ausgezeichnet Werner Karl Heisenberg (* 5. Dezember 1901 in Würzburg; † 1. Februar 1976 in München) war einer der bedeutendsten Physiker des 20. Jahrhunderts und … Deutsch Wikipedia
Werner Kraft — (* 4. Mai 1896 in Braunschweig; † 14. Juni 1991 in Jerusalem) war ein deutsch israelischer Bibliothekar, Literaturwissenschaftler und Schriftsteller jüdischer Herkunft. Inhaltsverzeichnis 1 Leben 2 Auszeichnungen und Ehrungen … Deutsch Wikipedia
Benjamin West — Benjamin West, Selbstporträt Benjamin West (* 10. Oktober 1738 in Springfield, Pennsylvania; † 11. März 1820 in London) war der erste international bedeutende amerikanische Maler. Inhaltsverzeichnis … Deutsch Wikipedia
Benjamin Karl — Voller Name Benjamin Martin Karl Nation … Deutsch Wikipedia
Benjamin Heisenberg — mit dem Österreichischen Filmpreis 2011 Benjamin Heisenberg (* 9. Juni 1974 in Tübingen) ist ein deutscher Regisseur, Autor und bildender Künstler. Sein Großvater war der … Deutsch Wikipedia
