Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker. Currently, Holzmann leads the NASA JPL Laboratory for Reliable Software in Pasadena, California. Previously he was at Bell Labs (c1980–2003) where he worked in the Computing Science Research Center (the former Unix research group).
| Property | Value |
|---|
| dbpprop:abstract
|
- Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker. Currently, Holzmann leads the NASA JPL Laboratory for Reliable Software in Pasadena, California. Previously he was at Bell Labs (c1980–2003) where he worked in the Computing Science Research Center (the former Unix research group). He was born in Amsterdam, The Netherlands and received an Engineer's degree in Electrical Engineering from the Delft University of Technology. He subsequently also received his PhD degree from Delft University in 1979. He is a member of the US National Academy of Engineering.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdf:type
| |
| rdfs:comment
|
- Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker. Currently, Holzmann leads the NASA JPL Laboratory for Reliable Software in Pasadena, California. Previously he was at Bell Labs (c1980–2003) where he worked in the Computing Science Research Center (the former Unix research group).
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
