Gerard J. Holzmann
A Dutch computer scientist and software engineer at NASA JPL, celebrated for his work on the SPIN model checker and advocating for formal methods.
Key facts
- Role
- lead_developer
A Dutch computer scientist and software engineer at NASA JPL, celebrated for his work on the SPIN model checker and advocating for formal methods.