Thomas Henzinger
- Thomas Henzinger
-
Thomas Henzinger (né en 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles.
Biographie
Après avoir obtenu son diplôme d'ingénieur en informatique de l'Université Kepler de Linz, en Autriche et un M.Sc. en informatique et sciences de l'information de l'Université du Delaware, il devient doctorant à l'université de Stanford, en Californie aux États-Unis, dont il est diplômé en 1991. Professeur assistant à l'université Cornell de 1992 à 1995, il fut aussi directeur de l'Institut Max Planck d'informatique en 1999 à Sarrebruck en Allemagne, puis professeur à l'université de Berkeley jusqu'en 2004. Depuis 2004, il est professeur au département d'informatique de l'École polytechnique fédérale de Lausanne (EPFL). Il a été élu Fellow de l'IEEE à partir du 1er janvier 2006.
Recherche
Ses domaines de prédilection sont la théorie des systèmes modernes, en particulier les formalismes et les outils pour le design hiérarchique et modulaire, ainsi que l'implémentation et la vérification des systèmes embarqués, temps-réel et hybrides. Son outil HyTech est le premier vérificateur de modèles pour les systèmes mixtes discrets-continus. Il est en outre le créateur de BLAST (Berkeley Lazy Abstraction Software Verification Tool), un outil pour la vérification des pilotes matériels racheté par Microsoft.
Catégories :
- Personnalité autrichienne en informatique
- Personnalité en méthodes formelles
- Naissance en 1962
- Enseignant à l'École polytechnique fédérale de Lausanne
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Thomas Henzinger de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Thomas Henzinger — (* 8. Dezember 1962 in Linz[1]) ist österreichischer Informatiker. Er ist erster Präsident des Institute of Science and Technology Austria. Karriere Henzinger schloss im Juli 1987 sein Informatik Studium an der Johannes Kepler Universität Linz ab … Deutsch Wikipedia
Henzinger — ist der Familienname folgender Personen: Monika Henzinger (* 1966), deutsche Informatikerin Thomas Henzinger (* 1962), österreichischer Informatiker Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit de … Deutsch Wikipedia
Tom Henzinger — Thomas Henzinger Thomas Henzinger (né en 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles. Biographie Après avoir obtenu son diplôme d ingénieur en informatique de l Université Kepler de Linz, en Autriche et … Wikipédia en Français
Monika Henzinger — (* 17. April 1966 in Weiden in der Oberpfalz) ist eine deutsche Informatikerin, leitete die Forschungsabteilung von Google, unterrichtete an der Cornell University und der Eidgenössischen Technischen Hochschule Lausanne und ist gegenwärtig… … Deutsch Wikipedia
I.S.T. Austria — Vorlage:Infobox Hochschule/Studenten fehltVorlage:Infobox Hochschule/Mitarbeiter fehltVorlage:Infobox Hochschule/Professoren fehlt Institute of Science and Technology Austria … Deutsch Wikipedia
Institute for Science and Technology Austria — Vorlage:Infobox Hochschule/Studenten fehltVorlage:Infobox Hochschule/Mitarbeiter fehltVorlage:Infobox Hochschule/Professoren fehlt Institute of Science and Technology Austria … Deutsch Wikipedia
Institute of Science and Technology Austria — Vorlage:Infobox Hochschule/Studenten fehltVorlage:Infobox Hochschule/Mitarbeiter fehltVorlage:Infobox Hochschule/Professoren fehlt Institute of Science and Technology Austria … Deutsch Wikipedia
Liste der Biografien/Hem–Hen — Biografien: A B C D E F G H I J K L M N O P Q … Deutsch Wikipedia
BLAST (статический анализатор) — У этого термина существуют и другие значения, см. BLAST (значения). BLAST Тип Инструменты статического анализа Разработчик Dirk Beyer, Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Berkeley Операционная система Linux, Microsoft Windows… … Википедия
ETH Lausanne — Vorlage:Infobox Hochschule/Professoren fehlt École polytechnique fédérale de Lausanne Gründung 1853 Trägerschaft staatlich … Deutsch Wikipedia
