About: Thomas Henzinger

Property	Value
dbo:abstract	Thomas Henzinger (* 8. prosince 1962, Linec) je rakouský informatik a badatel v počítačových vědách. (cs) Thomas A. Henzinger (* 8. Dezember 1962 in Linz) ist ein österreichischer Informatiker. Er ist erster Präsident des Institute of Science and Technology Austria (ISTA). (de) Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles. (fr) Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and president of the Institute of Science and Technology, Austria. (en)
dbo:academicDiscipline	dbr:Computer_science
dbo:award	dbr:Austrian_Academy_of_Sciences dbr:Academia_Europaea dbr:Academy_of_Sciences_Leopoldina
dbo:birthPlace	dbr:Austria
dbo:nationality	dbr:Austrians
dbo:residence	dbr:Austria
dbo:thumbnail	wiki-commons:Special:FilePath/Thomas_Henzinger.png?width=300
dbo:wikiPageExternalLink	http://www.eecs.berkeley.edu/Faculty/Homepages/henzinger.html https://www.oeaw.ac.at/en/m/Person/show/henzinger-thomas-a/ http://pub.ist.ac.at/~tah/ https://web.archive.org/web/20130701202704/http:/mtc.epfl.ch/~tah/
dbo:wikiPageID	40933147 (xsd:integer)
dbo:wikiPageLength	4368 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1099875149 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Royal_Society dbr:University_of_California,_Berkeley dbr:Institute_of_Science_and_Technology,_Austria dbc:1962_births dbc:Living_people dbr:Cornell_University dbr:Masaryk_University dbr:Saarbrücken dbc:Austrian_computer_scientists dbr:Stanford_University dbr:Computer_science dbr:Computer_scientist dbr:Zohar_Manna dbr:Austria dbr:Austrian_Academy_of_Sciences dbr:Austrian_Science_Fund dbr:Austrians dbc:Foreign_associates_of_the_National_Academy_of_Sciences dbc:Stanford_University_alumni dbr:H-index dbr:ACM_Fellow dbr:Academia_Europaea dbr:Academy_of_Sciences_Leopoldina dbr:EPFL dbr:Doctor_honoris_causa dbr:Hybrid_system dbr:Johannes_Kepler_University_Linz dbr:Institute_of_Electrical_and_Electronics_Engineers dbr:Milner_Award dbr:Monika_Henzinger dbr:Max_Planck_Institute dbr:Model_checker dbr:ISI_Highly_Cited_Researcher
dbp:birthPlace	dbr:Austria
dbp:caption	Henzinger in 2016 (en)
dbp:field	dbr:Computer_science
dbp:knownFor	design and verification of software, hardware, and embedded systems (en)
dbp:name	Thomas Henzinger (en)
dbp:nationality	Austrian (en)
dbp:prizes	IEEE Fellow (en) Member, Academia Europaea (en) NAS Member (en) Member, Academy of Sciences Leopoldina (en) Member, Austrian Academy of Sciences (en)
dbp:residence	dbr:Austria
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Short_description dbt:MathGenealogy dbt:Infobox_scientist dbt:Austria-scientist-stub dbt:Milner_Award_laureates
dbp:workInstitution	Institute of Science and Technology, Austria (en)
dcterms:subject	dbc:1962_births dbc:Living_people dbc:Austrian_computer_scientists dbc:Foreign_associates_of_the_National_Academy_of_Sciences dbc:Stanford_University_alumni
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/67255713
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatAustrianComputerScientists dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople yago:WikicatStanfordUniversityAlumni wikidata:Q901 yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 dbo:OfficeHolder
rdfs:comment	Thomas Henzinger (* 8. prosince 1962, Linec) je rakouský informatik a badatel v počítačových vědách. (cs) Thomas A. Henzinger (* 8. Dezember 1962 in Linz) ist ein österreichischer Informatiker. Er ist erster Präsident des Institute of Science and Technology Austria (ISTA). (de) Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles. (fr) Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and president of the Institute of Science and Technology, Austria. (en)
rdfs:label	Thomas Henzinger (cs) Thomas Henzinger (de) Thomas Henzinger (fr) Thomas Henzinger (en)
owl:sameAs	freebase:Thomas Henzinger yago-res:Thomas Henzinger http://d-nb.info/gnd/118183540 http://viaf.org/viaf/67255713 http://d-nb.info/gnd/1090209134 https://dblp.org/pid/h/ThomasAHenzinger https://orcid.org/0000-0002-2985-7724 wikidata:Thomas Henzinger http://data.bibliotheken.nl/id/thes/p148011039 http://arz.dbpedia.org/resource/توماس_هينزينجر dbpedia-cs:Thomas Henzinger dbpedia-de:Thomas Henzinger dbpedia-fr:Thomas Henzinger https://global.dbpedia.org/id/52pCZ
prov:wasDerivedFrom	wikipedia-en:Thomas_Henzinger?oldid=1099875149&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Thomas_Henzinger.png
foaf:isPrimaryTopicOf	wikipedia-en:Thomas_Henzinger
foaf:name	Thomas Henzinger (en)
is dbo:doctoralAdvisor of	dbr:Krishnendu_Chatterjee
is dbo:doctoralStudent of	dbr:Zohar_Manna
is dbo:wikiPageDisambiguates of	dbr:Henzinger
is dbo:wikiPageRedirects of	dbr:Henzinger,_Thomas dbr:Thomas_A._Henzinger
is dbo:wikiPageWikiLink of	dbr:List_of_programming_language_researchers dbr:Symposium_on_Logic_in_Computer_Science dbr:Orna_Kupferman dbr:Zohar_Manna dbr:List_of_Austrian_scientists dbr:Alternating-time_temporal_logic dbr:Henzinger,_Thomas dbr:Jasmin_Fisher dbr:Institute_of_Science_and_Technology_Austria dbr:Krishnendu_Chatterjee dbr:Henzinger dbr:Monika_Henzinger dbr:European_Association_for_Theoretical_Computer_Science dbr:Wittgenstein_Award dbr:Thomas_A._Henzinger
is dbp:doctoralAdvisor of	dbr:Krishnendu_Chatterjee
is dbp:doctoralStudents of	dbr:Zohar_Manna
is foaf:primaryTopic of	wikipedia-en:Thomas_Henzinger