SHMARQL

Thomas Henzinger

<http://www.wikidata.org/entity/Q88295>

Austrian computer scientist
Thomas Henzinger
rdfs:label
"Thomas Henzinger"@en
skos:altLabel
"Thomas A. Henzinger"@en
schema:description
"Austrian computer scientist"@en
schema:dateModified "2026-11-06T21:04:24+00:00"^^xsd:dateTime
schema:version 2565593330
wikibase:identifiers 34
wikibase:sitelinks 5
wikibase:statements 94
p:P1006 wd:statement/Q88295-7F13B859-EB24-42AC-A6E3-A371D659A678
p:P101 wd:statement/Q88295-765311d5-49a8-cf42-5e94-b937e6aeddaa
wd:statement/Q88295-ad859dec-4cea-6c2a-5d8e-1174a640d6f3
wd:statement/Q88295-bcfb085f-4141-4856-b3c3-cd699515b16f
wd:statement/Q88295-c3d08d88-49f9-827b-ff36-57e59247cfe1
p:P1015 wd:statement/q88295-4a874abc-4fb1-9f72-6ee4-8817ec25ba22
p:P10299 wd:statement/Q88295-AEAA28A6-0DD0-47A0-AFE5-802DF579E88F
p:P106 wd:statement/Q88295-1C47D836-382C-413B-8EC9-DE85F6050FCD
wd:statement/Q88295-7D95CF0F-8ABD-4854-9716-2B8B6DACA05E
wd:statement/Q88295-806FE0FB-04CC-4EC9-9A5C-41C64E40D14A
wd:statement/Q88295-D583B432-3C04-476F-B009-EE3C7C0B9956
p:P108 wd:statement/Q88295-0b50c86a-6b3d-41a6-8826-f30f67a5d884
wd:statement/Q88295-46439C64-3F82-4116-A16D-D8491D266996
wd:statement/Q88295-5cf4ca38-468f-7edd-2688-d220e25fa196
wd:statement/Q88295-CE4723E3-F6D6-49A5-8C3C-56663C087E50
p:P10832 wd:statement/Q88295-073b1918-418b-ddbd-770e-1e097abf9fa7
p:P10886 wd:statement/Q88295-8C65BE51-61D2-4182-A764-FBD0DDFEA17F
p:P11003 wd:statement/Q88295-4f69d75d-43e9-616a-bc64-19cb68225b2a
p:P11249 wd:statement/Q88295-84CA7400-C7E8-4CF1-A8D0-A73B4FC44E8D
p:P11496 wd:statement/Q88295-394D1A9E-665F-45BF-A5B8-DC6C998C2F0E
p:P1153 wd:statement/Q88295-4980fd4c-431b-29b9-8c2e-16f361589577
p:P1207 wd:statement/Q88295-4E4D6809-B9A0-459F-AB1A-A712D2ED3FB9
p:P13049 wd:statement/Q88295-9CC99DF2-32CD-4F0A-9F0C-E63ABBDB8FB5
p:P1343 wd:statement/Q88295-911936af-4b88-32ab-80d8-12f7aa22816b
p:P13591 wd:statement/Q88295-91D412E6-464B-4114-9335-78B641996791
p:P1412 wd:statement/Q88295-1492E0C8-DCFD-4881-A2E2-F3A0AA97E83C
p:P1556 wd:statement/Q88295-1C27F9BA-5C65-4F3C-80E8-CE523E8B28B7
p:P166 wd:statement/Q88295-0e56acd9-4abd-cb06-944b-00d4fc7f3d5d
wd:statement/Q88295-283E8743-52FC-4619-AB3F-EA7FF94484E6
wd:statement/Q88295-4c7b2cd0-4051-2f63-9ffb-aaf97eac901b
wd:statement/Q88295-84307735-47C9-49E8-B7D4-5C537109C7FF
wd:statement/Q88295-886FDF7C-1C53-43AA-A0B1-2B6B84EC9482
wd:statement/Q88295-E84A061A-BCDC-4C6A-8E7D-3D12D62AB1AB
wd:statement/Q88295-d6a94c76-4acb-090e-cdc0-cf877013db08
p:P18 wd:statement/Q88295-D4FDBE17-A00D-4522-9B29-94875C13F445
p:P184 wd:statement/Q88295-540CE2A4-E4A1-4F35-A2B3-6B051D0F3981
p:P185 wd:statement/Q88295-26C1FF1D-F0A9-4208-947F-76FA152C5DC1
wd:statement/Q88295-42609E26-706F-4504-AA84-ACF0EC0ACE29
wd:statement/Q88295-4D40A6FA-320F-48B4-9FB6-210395EE6FB8
wd:statement/Q88295-80490336-7828-4AB6-8966-3CFBDFF15CC0
wd:statement/Q88295-8EA3FBA3-E619-4BEF-9608-0484DD41A02B
wd:statement/Q88295-980F423A-499D-410B-8955-B35DE45AB9AC
wd:statement/Q88295-9A799F91-53DA-4C6B-8CC5-C3A0CCFAC110
wd:statement/Q88295-A0645CE9-76E8-4D7E-BF70-A3B5500F171C
wd:statement/Q88295-A5A5D59E-2606-4846-A23D-CBA36E68A364
wd:statement/Q88295-B838CCC8-0416-4154-9121-932CA73CABD3
wd:statement/Q88295-BDB165E6-763A-472F-823C-EAB71B6859C0
wd:statement/Q88295-C9FE0097-87A9-4E52-8740-AC6FAF027D44
wd:statement/Q88295-CB8D1BC9-C72A-4552-9B7F-232BA8409593
wd:statement/Q88295-D735DEB3-6B11-41E4-9A84-59FEA782D9AB
wd:statement/Q88295-D7A4F7E6-8A13-4512-97DA-1B0C5135A6BB
wd:statement/Q88295-DB8D458A-A529-4C0F-8848-61CFA0FE8454
wd:statement/Q88295-ECDA999D-2D17-4966-8BDD-3CA899D6519A
wd:statement/Q88295-F3F2CF2D-B87A-433A-A68C-CA54B5923F1C
p:P19 wd:statement/Q88295-030B73E0-1CCE-4902-B28B-F775FBD48B7B
wd:statement/Q88295-9B3BE483-5A2B-416A-8F4B-9B22297B2ED7
p:P1960 wd:statement/Q88295-6B5B33B9-B890-49B9-A75A-AE05BF472187
p:P21 wd:statement/q88295-DB2FD825-8997-4916-9464-7721F6794A2D
p:P213 wd:statement/q88295-A8EB81AC-7E8E-4B5B-A6B4-F3239DAC24C3
p:P214 wd:statement/q88295-74CC2B7B-E521-4E21-8199-5287DEF42993
p:P227 wd:statement/q88295-7B4161FB-1C59-4A72-B06C-763742687F56
p:P244 wd:statement/q88295-17DE342F-4F3F-4DDF-8093-974CF6C961D4
p:P2456 wd:statement/Q88295-1A6D5CA4-C4FA-4971-B2EC-73CAF6450305
p:P26 wd:statement/Q88295-b0dd7e3e-4ba9-28fd-2709-1ce9573af44d
p:P269 wd:statement/Q88295-B6F31A34-35E2-4FC8-951B-47320100798F
p:P27 wd:statement/Q88295-87FE92E1-BE0C-4A3D-8762-1FB84109926F
p:P271 wd:statement/q88295-ab96b7c3-4d95-79cb-575d-813b28bd9acd
p:P3065 wd:statement/q88295-247894e6-4f25-5c1a-cd12-a0191a1be5e6
p:P31 wd:statement/Q88295-CC6C5BD9-CE27-4FBE-9C40-E1A127817617
p:P463 wd:statement/Q88295-33F216F0-6FAF-4DCF-B8F9-667FB8231919
wd:statement/Q88295-43EB0D65-A38B-4283-894D-8EF29CFC3E01
wd:statement/Q88295-57157882-9CD1-49AF-9ADB-07C636806216
wd:statement/Q88295-C801FE7C-6CF3-4683-9EEB-7748B7329412
wd:statement/Q88295-CFD18AF7-03E2-48BB-A46C-C84F3CAE9EF7
wd:statement/Q88295-b798f762-4640-b0ea-fcc2-58603d622402
p:P4955 wd:statement/Q88295-7B053FBA-EEE8-46C2-8C0B-5363673E25CE
p:P496 wd:statement/Q88295-6E98E027-E308-41CB-93EB-5D9FCDE840A1
p:P5034 wd:statement/q88295-f5ebb408-4448-5107-18fa-2c1ad9e2be65
p:P5463 wd:statement/Q88295-C102A76D-8CB8-42B1-A6D5-DCD6634C8B92
p:P549 wd:statement/Q88295-7D9F87C5-3CF5-45A0-A781-AC012B84AD81
p:P569 wd:statement/Q88295-99B1382F-2919-43D4-87EA-D01F2001405E
wd:statement/Q88295-C196B4A0-BC92-459C-9A91-7FA65AD78630
p:P6104 wd:statement/Q88295-ED251F58-ABFA-4807-B00D-19F23E26ED91
p:P646 wd:statement/Q88295-0B74FB6E-7318-49B4-9AF3-735662DD27E2
p:P69 wd:statement/Q88295-68291A18-466B-432B-B764-5D5B75982411
wd:statement/Q88295-BEBAF114-FC42-46CB-84ED-D7D2871E2CF1
p:P691 wd:statement/Q88295-BC56DF1B-0203-426C-8C03-CC80431009A8
p:P734 wd:statement/Q88295-684E553A-C14C-482B-8EC6-CE0A9F4922FB
p:P735 wd:statement/Q88295-178F23D2-2B75-493B-A75A-11B7D033024E
p:P8116 wd:statement/Q88295-031F157B-C020-4DBE-B7D0-E1241ECB7712
p:P8168 wd:statement/Q88295-A9606D35-F23D-4671-90D2-C5020E924464
p:P8179 wd:statement/q88295-1cc6eed7-4ba1-8d2f-076c-1144c75b700f
p:P8189 wd:statement/Q88295-A5262D76-2679-4880-86CB-35463DCB2ACA
p:P864 wd:statement/Q88295-3b035457-4153-c6a3-15fa-de352b527e85
p:direct-normalized/P1006 <http://data.bibliotheken.nl/id/thes/p148011039>
p:direct-normalized/P1015 <https://livedata.bibsys.no/authority/90545903>
p:direct-normalized/P11496 <https://cir.nii.ac.jp/crid/1140845216661395840.rdf>
p:direct-normalized/P214 <http://viaf.org/viaf/67255713>
p:direct-normalized/P227 <https://d-nb.info/gnd/118183540>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/n91081393>
p:direct-normalized/P2456 <https://dblp.org/pid/h/ThomasAHenzinger>
p:direct-normalized/P269 <http://www.idref.fr/115250514/id>
p:direct-normalized/P271 <https://ci.nii.ac.jp/author/DA10023895#entity>
p:direct-normalized/P496 <https://orcid.org/0000-0002-2985-7724>
p:direct-normalized/P5034 <http://lod.nl.go.kr/resource/KAC202297494>
p:direct-normalized/P8168 <https://database.factgrid.de/entity/Q886295>
wdt:P1006 "148011039"
wdt:P101 formal verification
quantum computing
computer science
software system
wdt:P1015 "90545903"
wdt:P10299 "thomas-a-henzinger"
wdt:P106 logician
university teacher
researcher
computer scientist
wdt:P108 Institute of Science and Technology Austria
University of California, Berkeley
École polytechnique fédérale de Lausanne
Cornell University
wdt:P10832 "E39PBJkp7Rjbw3hcpTDXqb3mh3"
wdt:P10886 "Henzinger,_Thomas_A."
wdt:P11003 "2707196735"
wdt:P11249 "14401376"
wdt:P11496 "1140845216661395840"
wdt:P1153 "7004449411"
wdt:P1207 "n98002399"
wdt:P13049 "118183540"
wdt:P1343 wd:Q134524475
wdt:P13591 "person/6e8f8e40-7553-4635-af85-b5f23c24b382"
wdt:P1412 German
wdt:P1556 "henzinger.thomas-a"
wdt:P166 honorary doctorate from Joseph Fourier University
Fellow of the Royal Society
ACM Fellow
Wittgenstein-Prize
Fellow of the American Association for the Advancement of Science
honorary doctorate of the Masaryk University
Milner Award and Lecture
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Thomas%20Henzinger.png>
wdt:P184 Zohar Manna
wdt:P185 Shaz Qadeer
Sriram K. Rajamani
Freddy Y.C. Mang
Rupak Majumdar
Pei-Hsin Ho
Peter Kopke
Benjamin Horowitz
Ranjit Jhala
Arindam Chakrabarti
Arkadeb Ghosal
Slobodan Matic
Vinayak S. Prabhu
Vasu Singh
Grégory Théoduloz
Maria-Emanuela-Canini Mateescu
Damien Zufferey
Arjun Radhakrishna
Krishnendu Chatterjee
wdt:P19 Austria
Linz
wdt:P1960 "jpgplxUAAAAJ"
wdt:P21 male
wdt:P213 "0000000081474814"
wdt:P214 "67255713"
wdt:P227 "118183540"
wdt:P244 "n91081393"
wdt:P2456 "h/ThomasAHenzinger"
wdt:P26 Monika Henzinger
wdt:P269 "115250514"
wdt:P27 Austria
wdt:P271 "DA10023895"
wdt:P3065 "A003364763"
wdt:P31 human
wdt:P463 Association for Computing Machinery
National Academy of Sciences
Academia Europaea
American Academy of Arts and Sciences
German Academy of Sciences Leopoldina
Association for Symbolic Logic
wdt:P4955 "308023"
wdt:P496 "0000-0002-2985-7724"
wdt:P5034 "KAC202297494"
wdt:P5463 "Henzinger_Thomas"
wdt:P549 "70099"
wdt:P569 "1962-12-08T00:00:00+00:00"^^xsd:dateTime
wdt:P6104 WikiProject Mathematics
wdt:P646 "/m/0hk3xvz"
wdt:P69 Stanford University
Johannes Kepler University Linz
wdt:P691 "stk2008428963"
wdt:P734 Henzinger
wdt:P735 Thomas
wdt:P8116 "26165"
wdt:P8168 "Q886295"
wdt:P8179 "ncf10670854"
wdt:P8189 "987007422603605171"
wdt:P864 "81100034124"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata