Larry Paulson has been made a Fellow of the ACM for his contributions to theorem provers and verification techniques.
The ACM Fellows Program was established in 1993 to recognize and honour outstanding ACM members for their achievements in computer science and information technology and for their significant contributions to the mission of the ACM. The ACM Fellows serve as distinguished colleagues to whom the ACM and its members look for guidance and leadership as the world of information technology evolves.
Larry is one of 44 distinguished computer scientists who will be inducted as Fellows of the ACM this year. The complete list can be found at http://fellows.acm.org/homepage.cfm.