Gerard J. Holzmann
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Field | Model checking |
| Born | Amsterdam |
| Netherlands | |
| Education | Delft University of Technology (TU Delft) |
| Awards | Paris Kanellakis Award |
| ACM Fellow | |
| ACM Software System Award | |
| Academic advisor | Willem van der Poel |
| H index | 53 |
| Interests | Software Verification |
| Logic Model Checking | |
| Books | The Spin Model Checker: Primer and Reference Manual |
| Design and validation of computer protocols | |
| The early history of data networks | |
| Beyond photography | |
| Publications | scholar.google.com |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1303588 |
Gerard J. Holzmann Life story
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 Photos
