|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Stanford_University
gptkb:Johannes_Kepler_University_Linz
|
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:Milner_Award
gptkb:EATCS_Award
Member of the National Academy of Sciences
Member of the American Academy of Arts and Sciences
Honorary doctorate from Masaryk University
Member of the Academia Europaea
Member of the Austrian Academy of Sciences
|
|
gptkbp:birthDate
|
1962-12-05
|
|
gptkbp:birthPlace
|
gptkb:Austria
|
|
gptkbp:doctoralAdvisor
|
gptkb:Zohar_Manna
|
|
gptkbp:field
|
computer science
formal verification
model checking
hybrid systems
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Thomas Henzinger
|
|
gptkbp:memberOf
|
gptkb:Academia_Europaea
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:Austrian_Academy_of_Sciences
gptkb:National_Academy_of_Sciences
|
|
gptkbp:nationality
|
gptkb:Austrian
|
|
gptkbp:notableStudent
|
gptkb:Krishnendu_Chatterjee
gptkb:Madhusudan_Parthasarathy
gptkb:Rupak_Majumdar
|
|
gptkbp:notableWork
|
hybrid automata
model checking of real-time systems
timed automata
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:positionHeld
|
President of Institute of Science and Technology Austria
|
|
gptkbp:spouse
|
gptkb:Monika_Henzinger
|
|
gptkbp:workInstitution
|
gptkb:Cornell_University
gptkb:University_of_California,_Berkeley
gptkb:Institute_of_Science_and_Technology_Austria
gptkb:EPFL
|
|
gptkbp:bfsParent
|
gptkb:IST_Austria
gptkb:Monika_Rauch_Henzinger
|
|
gptkbp:bfsLayer
|
5
|