About

Bio

I'm a programmer currently working as technical director for Altodata on various projects for the rail industry, using AWS technologies mostly (Lambda, CDK, RDS (PostgreSQL), SNS, SQS etc.), golang and Python.

Before that I worked for OCamlLabs/Tarides on various OCaml and blockchain projects. I have a special interest in filesystems and storage layers.

Prior to this I was a Senior Lecturer at the University of Leicester from 2009 to 2021. My background is in formal methods and theorem proving. My research mainly focused on applications of formal methods to real-world systems, including verified parsing and a verified file system.

At Cambridge I worked on the NetSem project, giving a formal semantics to TCP/IP, and briefly on relaxed memory models.

Timeline (education and employment)

  • 2023 - current, Altodata
    I work as technical director, see above.

  • 2021 - 2023-03, OCamlLabs/Tarides
    I worked for OCamlLabs/Tarides on Irmin and related projects (blockchain, storage) for clients such as Tezos. This included garbage collection for the Tezos blockchain store, and some work with Nomadic Labs.

  • 2009 - 2021, University of Leicester
    I joined the Department of Computer Science at the University of Leicester as a Lecturer, and was later promoted to Senior Lecturer.

  • 2005 - 2009, Research Associate, Cambridge
    I joined the Computer Lab at the University of Cambridge as a research associate, supervised by Peter Sewell. My research was mostly on NetSem (TCP/IP formalization in HOL4) and weak memory models.

  • 2001 - 2005, PhD in Computer Science, LFCS, Edinburgh
    I obtained a PhD at the Laboratory for the Foundations of Computer Science (LFCS), University of Edinburgh. I was supervised by Paul Jackson, and studied theorem proving (Isabelle/HOL and HOL Light).

  • 1999 - 2001, Programmer and project manager, City of London
    I worked as a programmer and project manager at various companies in the City of London (the main UK financial district).

  • 1998 - 1999, Diploma in Computer Science, Cambridge
    I took the Diploma in Computer Science (similar to a Master's degree) at Trinity College, Cambridge.
    🏆 I graduated with Distinction, 2nd in year.
    🏆 I was awarded a senior scholarship by Trinity College, listed here. I only found out about it many years later.

  • 1995 - 1998, Mathematics degree, Trinity College, Cambridge
    I graduated with a 2.1.