Andy Pitts has been made a Fellow of the ACM for his contributions to the theory of programming language semantics.
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.
Andy is one of 52 distinguished computer scientists who will be
inducted as Fellows of the ACM this year. The complete list can be
found here.