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


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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”