Author Archives: amp12

EPSRC Fellowship awards

Two members of the Computer Laboratory have been successful in the recent round of EPSRC Fellowships. Dr Peter Sewell has been awarded a 5-year Leadership Fellowship. According to the EPSRC,¬† “Leadership Fellowships provide support for talented¬†researchers with the most potential … Continue reading

Posted in Awards and honours | Comments Off

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