Music

• I am the keyboard player of the Edinburgh-based global fusion band Ketu. You can find out more about us on our Instagram profile @ketu.band. Here is some footage from our latest concert at the Bruntsfield Pianodrome.
• I sometimes sing with The Commutative Square quartet. Here you can listen to our rendition of the world-famous Finite simple group of (order two) by the Klein Four.

Coding

• I mechanised the theory of strict ω-categories in Isabelle/HOL. It is now a part of the Archive of Formal Proofs.
• Here is some of the maths I mechanised in Lean for my undergraduate Honours Project.
• I created some fun visual sketches using the Processing JS library a long time ago.
• I made a barebones JS implementation of the NEAT (NeuroEvolution of Augmenting Topologies) algorithm by Ken Stanley and Risto Miikkulainen in JS which can be found here.

Other

• I used to co-organise the Edinburgh category theory seminar with Tom Leinster. The old seminar website can be found here.
• This website was created using
  • 11ty,
  • Nunjucks,
  • CSS,
  • the Braille Institute's Atkinson Hyperlegible Next font,
  • some emojis from OpenMoji,
  • the help of an overly complicated biocomputer I carry around inside my skull at all times.