オックスフォード大学名誉教授、同大学リンカーンカレッジフェロー。関心分野:プログラミングの代数、仕様からのアルゴリズム運算、関数プログラミング、アルゴリズムデザイン。 「2017年 『Haskellによる関数プログラミングの思考法 』 で使われていた紹介文から引用しています。」