I was at Imperial from September 1983 until July 2020. I was Head of the Department of Computing from January 2010 until September 2016, a position which was an honour to hold. Prior to that I held a college post as Dean of Learning and Teaching. Prior to that I was Director of Studies in the Department of Computing for 15 years, with overall responsibility for Computing’s teaching provision.
I have a great interest in how we can produce good software systems and this pervades both my views on what should be taught at undergraduate and postgraduate level and my research. My current research interests are in how we can produce smart contracts for the blockchain that behave correctly and specification languages for large open systems which are both available from github.
I retired during the Pandemic and had a big sendoff via email. The wordcloud below is taken from these emails.