93,772 profiles ranked live

Back to the boardThe board

Gerard J. Holzmann

✓ Source-basedfalling

Dutch computer scientist (born 1951)

NetherlandsScientistsBorn 1951 · age 74
CompareClaim
Fame40.7
MomentumNot measured
Languages8
In century#142,297

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.

Photos 1

Awards 4

2015Harlan D. Mills Award
2011ACM Fellow
2005Paris Kanellakis Award
2001ACM Software System Award

Connected to Gerard 6

Mendel RosenblumAlso won ACM Software System AwardRadhia CousotAlso won Harlan D. Mills AwardKurt MehlhornAlso won Paris Kanellakis AwardEugene MyersAlso won Paris Kanellakis AwardDaniel G. BobrowAlso won ACM Software System AwardGérard HuetAlso won ACM Software System Award

About this person

Country
Netherlands
Category
Scientists
Type
Scientist
Status
living
Dates
Born 1951 · age 74
Written about in
8 languages

Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.