{
  "handle": "thomas-henzinger",
  "url": "https://selfbadge.com/thomas-henzinger",
  "id": "https://selfbadge.com/thomas-henzinger#person",
  "status": "seeded",
  "indexable": true,
  "dateCreated": "2026-10-04T10:03:42.992535+00:00",
  "dateModified": "2026-10-04T10:03:42.992535+00:00",
  "summary": {
    "published": 25,
    "verified": 0
  },
  "verificationLevels": {
    "0": "Seeded: imported from a public source, not claimed",
    "1": "Self-declared: added by the owner",
    "2": "Account-verified: proven by OAuth, email code, DNS or link-back",
    "3": "Document-verified: reviewed document or third-party credential",
    "4": "ID-verified: identity document check"
  },
  "facts": [
    {
      "property": "name",
      "value": "Thomas Henzinger",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "givenName",
      "value": "Thomas",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "familyName",
      "value": "Henzinger",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "alternateName",
      "value": "Thomas A. Henzinger",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "description",
      "value": "Austrian computer scientist",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "image",
      "value": {
        "width": 457,
        "height": 457,
        "caption": "Thomas Henzinger",
        "creator": "IST Austria",
        "license": "https://creativecommons.org/licenses/by/3.0",
        "contentUrl": "https://selfbadge.com/media/photos/cab4f301-8bfd-45c3-b507-34506884bf60/706d6fef-b895-43a9-a9f5-72d0c151fe61.jpg",
        "creditText": "IST Austria / Wikimedia Commons, CC BY 3.0",
        "copyrightNotice": "IST Austria",
        "acquireLicensePage": "https://commons.wikimedia.org/wiki/File:Thomas_Henzinger.png"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikimedia Commons",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikimedia Commons",
        "url": "https://commons.wikimedia.org/wiki/File:Thomas_Henzinger.png",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "worksFor",
      "value": {
        "organization_id": "41f8bfe7-8be2-4a25-9e72-efc55e8982ea"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "worksFor",
      "value": {
        "organization_id": "f98e3a49-669b-4dce-9997-dea0db437589"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "worksFor",
      "value": {
        "organization_id": "58df928a-485d-4485-a169-f72bcf63b034"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "worksFor",
      "value": {
        "organization_id": "33d5a40d-1a9b-4581-91b8-758a7447adbc"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "hasOccupation",
      "value": "Computer scientist",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "hasOccupation",
      "value": "University teacher",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "hasOccupation",
      "value": "Researcher",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "hasOccupation",
      "value": "Logician",
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "alumniOf",
      "value": {
        "organization_id": "7e2a8b8f-2c3a-4888-9130-23caaab3cec5"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "alumniOf",
      "value": {
        "organization_id": "ef53ae6a-5b5d-4403-a6a1-8445d44d5539"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "award",
      "value": {
        "name": "Wittgenstein-Prize",
        "year": "2012"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "award",
      "value": {
        "name": "Milner Award and Lecture",
        "year": "2015"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "award",
      "value": {
        "name": "honorary doctorate of the Masaryk University",
        "year": "2015"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "award",
      "value": {
        "name": "ACM Fellow",
        "year": "2006"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "award",
      "value": {
        "name": "Fellow of the American Association for the Advancement of Science",
        "year": "2013"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "award",
      "value": {
        "name": "honorary doctorate from Joseph Fourier University",
        "year": "2012"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "award",
      "value": {
        "name": "Fellow of the Royal Society",
        "year": "2024"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "identifier",
      "value": {
        "url": "https://www.wikidata.org/wiki/Q88295",
        "value": "Q88295",
        "propertyID": "Wikidata"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    },
    {
      "property": "identifier",
      "value": {
        "url": "https://orcid.org/0000-0002-2985-7724",
        "value": "0000-0002-2985-7724",
        "propertyID": "ORCID"
      },
      "verification": {
        "level": 0,
        "name": "seeded",
        "label": "from Wikidata",
        "method": null,
        "verifiedAt": null,
        "expiresAt": null
      },
      "source": {
        "type": "seed",
        "label": "Wikidata",
        "url": "https://www.wikidata.org/wiki/Q88295",
        "retrievedAt": "2026-10-04T09:59:12.98+00:00"
      }
    }
  ],
  "verifications": [
    {
      "method": "seed_import",
      "label": "Imported from Wikidata",
      "checkedAt": "2026-10-04T10:03:42.992535+00:00"
    }
  ],
  "jsonld": {
    "@context": "https://schema.org",
    "@graph": [
      {
        "@type": "ProfilePage",
        "@id": "https://selfbadge.com/thomas-henzinger",
        "url": "https://selfbadge.com/thomas-henzinger",
        "name": "Thomas Henzinger on SelfBadge",
        "inLanguage": "en",
        "isPartOf": {
          "@id": "https://selfbadge.com/#website"
        },
        "dateCreated": "2026-10-04T10:03:42.992535+00:00",
        "dateModified": "2026-10-04T10:03:42.992535+00:00",
        "mainEntity": {
          "@type": "Person",
          "@id": "https://selfbadge.com/thomas-henzinger#person",
          "name": "Thomas Henzinger",
          "givenName": "Thomas",
          "familyName": "Henzinger",
          "alternateName": "Thomas A. Henzinger",
          "description": "Austrian computer scientist",
          "image": {
            "@type": "ImageObject",
            "@id": "https://selfbadge.com/thomas-henzinger#photo",
            "contentUrl": "https://selfbadge.com/media/photos/cab4f301-8bfd-45c3-b507-34506884bf60/706d6fef-b895-43a9-a9f5-72d0c151fe61.jpg",
            "url": "https://selfbadge.com/media/photos/cab4f301-8bfd-45c3-b507-34506884bf60/706d6fef-b895-43a9-a9f5-72d0c151fe61.jpg",
            "width": 457,
            "height": 457,
            "caption": "Thomas Henzinger",
            "creator": {
              "@type": "Person",
              "name": "IST Austria"
            },
            "creditText": "IST Austria / Wikimedia Commons, CC BY 3.0",
            "copyrightNotice": "IST Austria",
            "license": "https://creativecommons.org/licenses/by/3.0",
            "acquireLicensePage": "https://commons.wikimedia.org/wiki/File:Thomas_Henzinger.png"
          },
          "affiliation": [
            {
              "@id": "https://selfbadge.com/org/cornell-university#org"
            },
            {
              "@id": "https://selfbadge.com/org/university-of-california-berkeley#org"
            },
            {
              "@id": "https://selfbadge.com/org/ecole-polytechnique-federale-de-lausanne#org"
            },
            {
              "@id": "https://selfbadge.com/org/institute-of-science-and-technology-aust#org"
            }
          ],
          "hasOccupation": [
            {
              "@type": "Occupation",
              "name": "Computer scientist"
            },
            {
              "@type": "Occupation",
              "name": "University teacher"
            },
            {
              "@type": "Occupation",
              "name": "Researcher"
            },
            {
              "@type": "Occupation",
              "name": "Logician"
            }
          ],
          "alumniOf": [
            {
              "@id": "https://selfbadge.com/org/stanford-university#org"
            },
            {
              "@id": "https://selfbadge.com/org/johannes-kepler-university-linz#org"
            }
          ],
          "award": [
            "Wittgenstein-Prize, 2012",
            "Milner Award and Lecture, 2015",
            "honorary doctorate of the Masaryk University, 2015",
            "ACM Fellow, 2006",
            "Fellow of the American Association for the Advancement of Science, 2013",
            "honorary doctorate from Joseph Fourier University, 2012",
            "Fellow of the Royal Society, 2024"
          ],
          "sameAs": [
            "https://www.wikidata.org/wiki/Q88295",
            "https://orcid.org/0000-0002-2985-7724"
          ],
          "identifier": [
            {
              "@type": "PropertyValue",
              "propertyID": "Wikidata",
              "value": "Q88295",
              "url": "https://www.wikidata.org/wiki/Q88295"
            },
            {
              "@type": "PropertyValue",
              "propertyID": "ORCID",
              "value": "0000-0002-2985-7724",
              "url": "https://orcid.org/0000-0002-2985-7724"
            }
          ]
        },
        "primaryImageOfPage": {
          "@id": "https://selfbadge.com/thomas-henzinger#photo"
        }
      },
      {
        "@type": "WebSite",
        "@id": "https://selfbadge.com/#website",
        "url": "https://selfbadge.com/",
        "name": "SelfBadge"
      },
      {
        "@type": "Organization",
        "@id": "https://selfbadge.com/org/cornell-university#org",
        "name": "Cornell University",
        "url": "https://cornell.edu/"
      },
      {
        "@type": "Organization",
        "@id": "https://selfbadge.com/org/university-of-california-berkeley#org",
        "name": "University of California, Berkeley",
        "url": "https://berkeley.edu/"
      },
      {
        "@type": "Organization",
        "@id": "https://selfbadge.com/org/ecole-polytechnique-federale-de-lausanne#org",
        "name": "École polytechnique fédérale de Lausanne",
        "url": "https://www.epfl.ch/"
      },
      {
        "@type": "Organization",
        "@id": "https://selfbadge.com/org/institute-of-science-and-technology-aust#org",
        "name": "Institute of Science and Technology Austria",
        "url": "https://ist.ac.at/en/home/"
      },
      {
        "@type": "Organization",
        "@id": "https://selfbadge.com/org/stanford-university#org",
        "name": "Stanford University",
        "url": "https://stanford.edu/"
      },
      {
        "@type": "Organization",
        "@id": "https://selfbadge.com/org/johannes-kepler-university-linz#org",
        "name": "Johannes Kepler University Linz",
        "url": "https://www.jku.at/"
      }
    ]
  }
}