2009 Lee Center Workshop Plenary Speaker
May 22, 2009
Gerard J. Holzmann is the lead for JPL's Laboratory for Reliable Software. He is the author of one of the most widely used tools for formal software verification, called Spin. His work was recognized with the ACM Software System Award in 2001, the SIGSOFT Outstanding Research Award in 2002, and the Kannellakis Theory and Practice Award in 2005. Holzmann is a member of the US National Academy of Engineering.
Lee Center Home | Caltech