News

Dr. Holzmann Receives Harlan D. Mills Award

12-17-14

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 2015 IEEE Computer Society Harlan D. Mills Award. He is being honored "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."

The award recognize researchers and practitioners who have demonstrated long-standing, sustained, and meaningful contributions to the theory and practice of the information sciences, focusing on contributions to the practice of software engineering through the application of sound theory. [IEEE Computer Society Release] [ENGenious article]

Tags: honors CMS Gerard Holzmann JPL

Dr. Holzmann Receives NASA Exceptional Engineering Achievement Medal

10-25-12

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]

Tags: honors CMS Gerard Holzmann JPL

Dr. Holzmann Becomes An ACM Fellow

12-09-11

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 been selected into the 2011 class of fellows of the Association for Computing Machinery (ACM). The ACM Fellows Program recognizes and honors outstanding ACM members for their achievements in computer science and information technology. ACM Fellows also serve as distinguished colleagues to whom the ACM and its members look for guidance and leadership as the world of information technology evolves. [Learn more]

Tags: honors CMS Gerard Holzmann