教授，在那里他领导应用形式方法中心。他是伯明翰城市大学计算机科学教授，威斯敏斯特大学普林特研究所（纽约市）客座教授，伦敦国王学院和伦敦大学学院访问学者
生平.出生于牛津，是的儿子，在布莱恩斯顿学校、龙学校接受教育，后来进入牛津大学大学学院，在那里获得工程科学硕士学位。