Monthly Archives: January 2009

Larry Paulson is made a Fellow of the ACM

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 … Continue reading

Posted in Awards and honours | Comments Off