Publications

. Reasoning with !-graphs. DPhil thesis, 2014.

Preprint PDF

. Pattern Graph Rewrite Systems. EPTCS 143, 2012.

Preprint PDF Proceedings

. The GHZ/W-calculus contains rational arithmetic. EPTCS 52, 2011.

Preprint PDF Proceedings

Development

In the past, I have been active in the open source community. I have contributed to and maintained several KDE projects, especially in the KDE Frameworks, but have largely stepped back from this for personal reasons.

I am also co-maintainer (and one of the primary authors) of MPRIS v2, a specification that describes how to find and communicate with media players on the free software desktop.

In a past life, I worked on Quantomatic and TikZiT as part of my DPhil. My thesis forms part of the theoretical underpinnings of Quantomatic.

In my day job, I work in C++/Boost (along with Python and a smattering of Go) on software for single-molecule sequencing devices.