Gerard J. Holzmann

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.