# Gerard J. Holzmann

> 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.

*Dutch computer scientist (born 1951)*

**Canonical URL:** https://fame.am/person/gerard-j-holzmann

## Identity
- **Born:** 1951-11-12
- **Status:** living
- **Gender:** male

## Bio

Imported from discovery source: wikidata-dump

## Fame
- **Popularity score:** 42.3 / 100
- **Momentum:** 1.6 / 100  (trend: FALLING)
- **Historical depth:** 7.0 / 100
- **Now attention:** 0.0 / 100
- **Source confidence:** 55.0 / 100
- **Profile completeness:** 50.0 / 100

## Platforms
- **LINKEDIN**: https://www.linkedin.com/in/holzmann/ (@holzmann)
- **WEBSITE**: https://spinroot.com/gerard/

## Sources
- [Джерард Гольцманн](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)
- [جيرارد جيه هولزمان](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)
- [Gerard J. Holzmann](https://cs.wikipedia.org/wiki/Gerard_J._Holzmann)
- [Gerard Holzmann](https://de.wikipedia.org/wiki/Gerard_Holzmann)
- [Gerard J. Holzmann](https://en.wikipedia.org/wiki/Gerard_J._Holzmann)
- [Gerard J. Holzmann](https://fr.wikipedia.org/wiki/Gerard_J._Holzmann)
- [Gerard Holzmann](https://mg.wikipedia.org/wiki/Gerard_Holzmann)
- [Gerard J. Holzmann](https://nl.wikipedia.org/wiki/Gerard_J._Holzmann)
- [Wikidata](https://www.wikidata.org/wiki/Q4588721)

---
Generated by Fame.am · https://fame.am/person/gerard-j-holzmann