Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Gerard Holzmann · Vinony

Home
1951 births
Gerard Holzmann

🌐Svenska

English Deutsch Español Français Italiano Nederlands Português Svenska Türkçe 日本語

EntityQ4588721· pop 7· linked from 75 articles

Gerard Holzmann

Also known as Holzmann, G.J. Holzmann, Gerard Johan Holzmann

Dutch computer scientist (born 1951)

Person · Open Library

Works: 5

Top works

Partial order methods in verification
Beyond photography
The early history of data networks
The SPIN Model Checker
Design and validation of computer protocols

via Open Library + Wikidata

Music · MusicBrainz

Type: Person
Gender: Female
Origin: United Kingdom
Active from: 1965-07-31

audiobookauthordeufantasynon-musicianterf

Official site Discogs

via MusicBrainz · CC0

Available in 7 languages

Français
Deutsch
Czech
Egyptian Arabic
Malagasy
Ukrainian

via Wikidata sitelinks · CC0

Connections

Institute of Electrical and Electronics Engineers

Delft University of Technology

Categories

1951 births American computer scientists Delft University of Technology alumni Dutch computer scientists Dutch emigrants to the United States Fellows of Jet Propulsion Laboratory Fellows of the Association for Computing Machinery Formal methods people Living people Members of the United States National Academy of Engineering NASA people Scientists at Bell Labs

Sources

wikipedia.externallinksexternallink
crossrefcrossref-works
musicbrainzmusic-artist
Open Libraryauthor-profile

Recent publications · Crossref

5 total works indexed

Global burden of bacterial antimicrobial resistance in 2019: a systematic analysis
· 2022 · cited 13,130x
2015 American Thyroid Association Management Guidelines for Adult Patients with Thyroid Nodules and Differentiated Thyroid Cancer: The American Thyroid Association Guidelines Task Force on Thyroid Nodules and Differentiated Thyroid Cancer
· 2016 · cited 12,279x
AlphaFold Protein Structure Database: massively expanding the structural coverage of protein-sequence space with high-accuracy models
· 2021 · cited 7,614x
Absorptive Capacity: A Review, Reconceptualization, and Extension
· 2002 · cited 7,231x
Genome sequencing in microfabricated high-density picolitre reactors
· 2005 · cited 6,076x

via Crossref · CC0

Wikidata facts

Official website: spinroot.com/gerard
Image: Gerard J. Holzmann FLoC 2006.jpg

Show 1 more fact

date of birth: 1951-11-12

Sources (5)

wikidata.org
acm.org
lars-lab.jpl.nasa.gov
en.wikipedia.org
linkedin.com

via Wikidata · CC0

Netherlands

Concept

International Standard Book Number

electrical engineering

Doctor of Philosophy

University of Southern California

Jet Propulsion Laboratory

Association for Computing Machinery

Fulbright Scholarship

computer scientist

Whitfield Diffie

Scientists from Amsterdam

Sign in to save

What links here75 pages

Michael O. Rabin

Robert M. Solovay

Willem van der Poel

ACM Software System Award

Edmund M. Clarke

SPIN model checker

Bruno Buchberger

list of computer scientists

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.25

Entitydist 0.29

John L. Hennessy

Entitydist 0.30

Andries van Dam

Entitydist 0.32

Gerard 't Hooft

Entitydist 0.33

Kenneth E. Iverson

Entitydist 0.33

David A. Patterson

Entitydist 0.33

Molly Holzschlag

Entitydist 0.34

Ronald Plasterk

Entitydist 0.34

Entitydist 0.34

Entitydist 0.34

Nicholas Negroponte

Entitydist 0.34