Thomas Henzinger
Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and president of the Institute of Science and Technology, Austria.
doctoral advisor
doctoral student
Wikipage disambiguates
Wikipage redirect
Alternating-time temporal logicEuropean Association for Theoretical Computer ScienceHenzingerHenzinger, ThomasKrishnendu ChatterjeeList of Austrian scientistsList of fellows of the Association for Computing MachineryMonika HenzingerOrna KupfermanSymposium on Logic in Computer ScienceThomas A. HenzingerWittgenstein AwardZohar Manna
Link from a Wikipage to another Wikipage
doctoral advisor
doctoral students
primaryTopic
Thomas Henzinger
Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and president of the Institute of Science and Technology, Austria.
has abstract
Thomas A. Henzinger (* 8. Deze ...... cience and Technology Austria.
@de
Thomas Henzinger (* 8. prosinc ...... badatel v počítačových vědách.
@cs
Thomas Henzinger (born 1962) i ...... ience and Technology, Austria.
@en
Thomas Henzinger (né le 8 déce ...... omaine des méthodes formelles.
@fr
academic discipline
birth place
nationality
residence
Link from a Wikipage to an external page
Wikipage page ID
40,933,147
page length (characters) of wiki page
Wikipage revision ID
1,023,098,954
Link from a Wikipage to another Wikipage
birth place
caption
Henzinger in 2016
@en
field
known for
design and verification of software, hardware, and embedded systems
@en
name
Thomas Henzinger
@en
nationality
Austrian
@en
prizes
IEEE Fellow
@en
Member, Academia Europaea
@en
Member, Academy of Sciences Leopoldina
@en
Member, Austrian Academy of Sciences
@en
NAS Member
@en
residence
wikiPageUsesTemplate
work institution
Institute of Science and Technology, Austria
@en
subject
hypernym
sameAs
comment
Thomas A. Henzinger (* 8. Deze ...... cience and Technology Austria.
@de
Thomas Henzinger (* 8. prosinc ...... badatel v počítačových vědách.
@cs
Thomas Henzinger (born 1962) i ...... ience and Technology, Austria.
@en
Thomas Henzinger (né le 8 déce ...... omaine des méthodes formelles.
@fr
label
Thomas Henzinger
@cs
Thomas Henzinger
@de
Thomas Henzinger
@en
Thomas Henzinger
@fr
sameAs
wasDerivedFrom
isPrimaryTopicOf
name
Thomas Henzinger
@en