I attended The Maidstone School for Boys (now Oakwood Park Grammar School) and Churchill College Cambridge. At Cambridge I read the Mathematical Tripos and received my MA degree and the Certificate of Advanced Study in Mathematics (MMath) from the University of Cambridge. I remained at Churchill College while undertaking doctoral research and was supervised by Professor Andrew Pitts at the University of Cambridge Computer Laboratory. I received a PhD degree for my thesis Programming Metalogics with a Fixpoint Type. I then moved to Imperial College in the University of London and conducted one year of postdoctoral research funded by the ESPRIT project Categorical Logic in Computer Science. I subsequently obtained an SERC (now EPSRC ) Open Research Fellowship and remained at Imperial College for a further two years. I was appointed to the Department of Mathematics and Computer Science Leicester in 1994.
I develop the semantics and implementations of (meta) languages for programming computation and data science. At its heart the idea is to develop new languages and better understand existing languages by using rigourous semantics that support development of and reasoning about programs.
(0) The Nominal/FM Yoneda Lemma. Mathematical Structures in Computer Science, 30:1011--1024, 2021. .
Semantics of programming languages. Applied category theory. Data Science.
Computer Architecture CO1104. Investing in Functional Programming CO3111.
Press and media