Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.

He subsequently also received his PhD degree from Delft University in 1979 under Willem van der Poel and J.L.

After receiving a Fulbright Scholarship he was a post-graduate student at the University of Southern California for another year, where he worked with Per Brinch Hansen.

[2] In 2001, he was selected for the Software System Award (for SPIN) by the Association for Computing Machinery (ACM).

[1] He was elected a member of the US National Academy of Engineering in 2005 for the creation of model-checking systems for software verification.