Current projects

slang-netlist (GitHub) — a tool for analysing the source-level netlist of a SystemVerilog design, built on the slang frontend.

About me

I'm currently working as a silicon engineer at XTX Markets. From 2016 to 2023 I worked at Graphcore, the UK chip company, on the design and implementation of several generations of a custom AI accelerator. Before that I was a compiler engineer at XMOS, working on the toolchain for their embedded parallel processors, and a technical consultant at Red Oak Consulting in Cheltenham, specialising in high-performance computing.

I completed a PhD at the University of Bristol in the Department of Computer Science in 2014. My thesis, Scalable abstractions for general-purpose parallel computation, examined the relationship between the hardware of highly-parallel computers and the languages and software used to program them. I also hold a masters in Computer Science from Bristol.

I helped to found and run The CHEESE Project from 2015 to 2023, a not-for-profit that uses thermal imaging to help people reduce domestic energy losses. For households that struggle to heat their homes, this improves health and well being; for those with thermally-inefficient homes, it saves money and cuts carbon emissions. To expand the approach nationwide, I also helped to found First Thermal, a social franchise.

About this website

This website is built using Pelican, a static website generator written in Python, with a simple hand-written CSS theme. It is hosted on GitHub Pages. The source code is available for reuse. I track visitors using the excellent GoatCounter.