Professors Alan Biermann and Donald Loveland have been named ACM Fellows by the Association for Computing Machinery. ACM established the Fellows Program in 1993 to recognize members who have made outstanding technical and professional achievements in information technology.
Professor Biermann is recognized for his major contributions in the areas of automatic programming, natural language dialogue processing, and computer science education. Professor Loveland is recognized for defining several major proof procedures and for his comprehensive study on resolution theory. He has also authored a major review on the future directions of automated deduction. Alan and Don are both Fellows of the American Association for Artificial Intelligence. Other ACM Fellows in the Deparment include Professors Jeff Vitter and John Reif.
Congratulations Alan and Don!