Gerard J. Holzmann

Gerard Holzmann worked as a researcher in the Bell Labs Computing Science Research Center before moving to NASA/JPL to head a newly formed Laboratory for Reliable Software (LaRS). He authored several broadly used tools for image processing and software analysis, including an influential early image editing system called Pico, the logic model checker Spin, and the interactive static source code analyzer Cobra. He currently leads Nimble Research, a small consulting company close to Los Angeles.