# Thomas Henzinger

Associated with Cornell University

Thomas Henzinger is associated with Cornell University.

Last updated: 2026-10-04

Also known as: Thomas A. Henzinger

Austrian computer scientist

Profile: https://selfbadge.com/thomas-henzinger
Stable id: https://selfbadge.com/thomas-henzinger#person
JSON: https://selfbadge.com/thomas-henzinger.json

## In brief

- Thomas Henzinger is associated with Cornell University.
- Thomas Henzinger is also known as Thomas A. Henzinger.
- Thomas studied at Stanford University.
- Thomas studied at Johannes Kepler University Linz.
- Thomas received Wittgenstein-Prize in 2012.
- Thomas received Milner Award and Lecture in 2015.
- Thomas received honorary doctorate of the Masaryk University in 2015.

Facts published: 25. Verified: 0.

Status: seeded from public sources and not yet claimed by the person. Facts below are unconfirmed.

## Experience

- Associated with Cornell University, no dates listed (from Wikidata)
- Associated with University of California, Berkeley, no dates listed (from Wikidata)
- Associated with École polytechnique fédérale de Lausanne, no dates listed (from Wikidata)
- Associated with Institute of Science and Technology Austria, no dates listed (from Wikidata)

## Occupations

Computer scientist, University teacher, Researcher, Logician

## Education

- Stanford University (from Wikidata)
- Johannes Kepler University Linz (from Wikidata)

## Awards

- Wittgenstein-Prize, 2012 (from Wikidata)
- Milner Award and Lecture, 2015 (from Wikidata)
- honorary doctorate of the Masaryk University, 2015 (from Wikidata)
- ACM Fellow, 2006 (from Wikidata)
- Fellow of the American Association for the Advancement of Science, 2013 (from Wikidata)
- honorary doctorate from Joseph Fourier University, 2012 (from Wikidata)
- Fellow of the Royal Society, 2024 (from Wikidata)

## Identifiers

- Wikidata: Q88295 (https://www.wikidata.org/wiki/Q88295)
- ORCID: 0000-0002-2985-7724 (https://orcid.org/0000-0002-2985-7724)

## How it was verified

- Imported from Wikidata, 2026-10-04

Last updated: 2026-10-04