Gerard J. Holzmann
Computer Scientist
1951 –
Photo Credit ยป
31 Views
Who is Gerard J. Holzmann?
Gerard J. Holzmann is an Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
We need you!
Help us build the largest biographies collection on the web!
- Born
- 1951
Amsterdam - Also known as
- Gerard Holzmann
- Gerard J Holzmann
- Nationality
- United States of America
- Profession
- Education
- Delft University of Technology
- Lived in
- Amsterdam
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Gerard J. Holzmann." Biographies.net. STANDS4 LLC, 2024. Web. 26 Apr. 2024. <https://www.biographies.net/people/en/gerard_j_holzmann>.
Powered by CITE.ME
Discuss this Gerard J. Holzmann biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In