Gerard J. Holzmann
Dutch-American computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Gerard J. Holzmann?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.[1]
Quick Facts Born, Alma mater ...
Gerard J. Holzmann | |
---|---|
Born | 1951 (1951) |
Alma mater | Delft University of Technology |
Known for | Developing the SPIN model checker |
Awards | Paris Kanellakis Award (2005) |
Scientific career | |
Fields | Model Checking |
Institutions | Bell Labs |
Doctoral advisor | Willem van der Poel and J.L. de Kroes |
Close