Dr. Holzmann Becomes An ACM Fellow

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]

Gerard Holzmann CMS honors