Gerard J. Holzmann
Dutch computer scientist · Netherlands · On the map · Scientists · Born 1951 · age 75
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.
Gerard J. Holzmann is read about 9.5 times a day, in 8 languages.
A typical day, 30 days to 21 September 2026
The middle day of the days counted, so one week of news cannot move it. The line under it is the last 60 days, one point a day.
Something wrong?A life in dates
2015Harlan D. Mills AwardAward2011ACM FellowAward2005Paris Kanellakis AwardAward2001ACM Software System AwardAward1951Born12 November 1951
Also in Français
Media & music
Photos 1
Awards
About this person
Country
Netherlands
Category
Scientists
Type
Scientist
Status
Living
Dates
Born 1951 · age 75
