|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Stanford_University
|
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:Milner_Award
gptkb:EATCS_Award
Honorary doctorate from Masaryk University
Member of the Academia Europaea
Member of the Austrian Academy of Sciences
Member of the US National Academy of Engineering
Member of the German Academy of Sciences Leopoldina
|
|
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 A. Henzinger
|
|
gptkbp:nationality
|
gptkb:Austrian
|
|
gptkbp:notableStudent
|
gptkb:Krishnendu_Chatterjee
gptkb:Rupak_Majumdar
|
|
gptkbp:notableWork
|
hybrid automata
model checking of real-time systems
timed automata
|
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:professor
|
|
gptkbp:positionHeld
|
President of Institute of Science and Technology Austria
|
|
gptkbp:workInstitution
|
gptkb:Cornell_University
gptkb:University_of_California,_Berkeley
gptkb:Institute_of_Science_and_Technology_Austria
gptkb:EPFL
|
|
gptkbp:bfsParent
|
gptkb:Krishnendu_Chatterjee
gptkb:Rupak_Majumdar
|
|
gptkbp:bfsLayer
|
7
|