Gerard J. Holzmann | |
|---|---|
 Gerard J. Holzmann 2006 | |
| Born | 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 |
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]