Dr. Holzmann Receives NASA Exceptional Engineering Achievement Medal

Gerard J. Holzmann, Faculty Associate and Lecturer in Computing and Mathematical Sciences and Lead Scientist of the Laboratory for Reliable Software at the Jet Propulsion Laboratory, has received the NASA Exceptional Engineering Achievement Medal "for exceptional and sustained achievement in developing and infusing advanced engineering practices for the verification of mission-critical software." [Learn more]