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]