Gerard J. Holzmann received his Ph.D. in Technical Sciences from the Delft University of Technology in The Netherlands in 1979. He worked as a computing science researcher in the Unix group at Bell Laboratories from 1980 to 2003. In 2003, he left Bell Labs to join NASA’s Jet Propulsion Laboratory in Pasadena, CA, to start a new Laboratory for Reliable Software.
He is best known for the design and implementation of the popular logic model checking tool Spin.
Holzmann is fellow of the ACM and a member of the US National Academy of Engineering. He also serves as senior faculty associate in Computing Science at the California Institute of Technology.
2015 Harlan D. Mills Award
“For fundamental contributions to improving software quality, in particular through model checking tools and coding standards, and for successfully transferring these contributions to practitioners developing mission-critical software.”
Learn more about the Harlan D. Mills Award
