# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/gerard-j-holzmann
# Generated: 2026-08-14T03:16:34.024Z

schema: https://schema.org/Person
url: "https://fame.am/person/gerard-j-holzmann"
name: "Gerard J. Holzmann"
slug: "gerard-j-holzmann"
description: "Gerard J. Holzmann is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker."
tagline: "Dutch computer scientist (born 1951)"
image: "https://commons.wikimedia.org/wiki/Special:FilePath/Gerard_J._Holzmann_FLoC_2006_(cropped).jpg?width=1200"
gender: "male"
birthDate: "1951-11-12"
livingStatus: "LIVING"
scores:
  popularity:           42.28
  momentum:             1.574074074074074
  historical:           7.013500000000001
  currentAttention:     0
  sourceConfidence:     55
  profileCompleteness:  50
  trendDirection:       "FALLING"
ranks:
  global:   null
  country:  null
  category: null
platforms:
  - platform:  "LINKEDIN"
    url:       "https://www.linkedin.com/in/holzmann/"
    handle:    "holzmann"
  - platform:  "WEBSITE"
    url:       "https://spinroot.com/gerard/"
sources:
  - url: "https://uk.wikipedia.org/wiki/%D0%94%D0%B6%D0%B5%D1%80%D0%B0%D1%80%D0%B4_%D0%93%D0%BE%D0%BB%D1%8C%D1%86%D0%BC%D0%B0%D0%BD%D0%BD"
    title: "Джерард Гольцманн"
    type:  "WIKIPEDIA"
  - url: "https://arz.wikipedia.org/wiki/%D8%AC%D9%8A%D8%B1%D8%A7%D8%B1%D8%AF_%D8%AC%D9%8A%D9%87_%D9%87%D9%88%D9%84%D8%B2%D9%85%D8%A7%D9%86"
    title: "جيرارد جيه هولزمان"
    type:  "WIKIPEDIA"
  - url: "https://cs.wikipedia.org/wiki/Gerard_J._Holzmann"
    title: "Gerard J. Holzmann"
    type:  "WIKIPEDIA"
  - url: "https://de.wikipedia.org/wiki/Gerard_Holzmann"
    title: "Gerard Holzmann"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/Gerard_J._Holzmann"
    title: "Gerard J. Holzmann"
    type:  "WIKIPEDIA"
  - url: "https://fr.wikipedia.org/wiki/Gerard_J._Holzmann"
    title: "Gerard J. Holzmann"
    type:  "WIKIPEDIA"
  - url: "https://mg.wikipedia.org/wiki/Gerard_Holzmann"
    title: "Gerard Holzmann"
    type:  "WIKIPEDIA"
  - url: "https://nl.wikipedia.org/wiki/Gerard_J._Holzmann"
    title: "Gerard J. Holzmann"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q4588721"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump