노팅엄 대학교의 컴퓨터과학 교수. 저서로는 《Program Construction: Calculating Implementations from Specifications(프로그램 설계: 명세에서 구현 계산하기)》가 있다.