From Wikipedia, the free encyclopedia

Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker.

Holzmann 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.

For much of his career (c1980–2003), Holzmann was at Bell Labs, USA, where he worked in the Computing Science Research Center (the former Unix research group). Currently, Holzmann leads the NASA JPL Laboratory for Reliable Software in Pasadena, California.

Holzmann is a member of the US National Academy of Engineering.

Books

• The Spin Model Checker — Primer and Reference Manual, Addison-Wesley, 2003. ISBN 0-321-22862-6.
• Design and Validation of Computer Protocols, Prentice Hall, 1991.
• The Early History of Data Networks, IEEE Computer Society Press, 1995.
• Beyond Photography — The Digital Darkroom, Prentice Hall, 1988. ISBN 0-13-074410-7.

External links

• Home page
• Spin Tool
• Pico image editor
• DBLP bibliography
• Laboratory for Reliable Software
• Portraits