原牛津大学数学部研究委员会主席（1998-2000），原牛津大学计算机系主任（2003-2014），英国皇家工程院院士，欧洲科学院院士，牛津大学信息安全委员会主席，计算机科学委员会主席。世界著名计算机科学家，牛津大学元老级（任职超过40年）科学家。主要研究方向和成果包括了信息安全，计算机验证和并行计算等。他的导师Tony Hoare爵士是计算机科学领域的开创者之一。在Bill Roscoe教授的带领下，牛津大学计算机系从一个仅有3名教授的小型研究机构快速成长为一个拥有超过30名正教授，40名讲师，总计超过250名研究人员的世界顶级计算机研究机构。他获得的突出奖励有英国女皇奖，牛津大学理学部终生成就奖等。