cv
hello
i'm a software engineer and applied mathematician. i like using ideas from programming language theory, type theory & other areas of mathematics to solve interesting problems. i currently do that at duna, and i'm very happy there.
work
software engineer
/ duna
- › using technology to make work easier for people who do aml/compliance stuff
- › working with event sourcing for the first time and it's delightful
- › applying some pl theory knowledge i've picked up to our policy engine
staff software engineer
/ gigs
- › led research, design & development on us telco tax infrastructure
- › design work on the gigs api, helping teams shape usable api functionality for customers
- › founded & led the foundation team, owning infra, devex and tooling
- › built internal engineering culture: knowledge sharing, book clubs, etc.
software engineer
/ tweag
- › design & development work on nickel, 'json with types and functions'
- › wrote some of my favourite code: nickel's emoji-aware string stdlib functions
- › consultancy work with a client in the ai space, rust microservices stuff
software engineer
/ soundcloud
- › started as an ios engineer, moved between creator, listener and streaming domains
- › think the colour-extraction algo they use is probably still one i wrote
- › eventually moved to the user auth team, working in scala (yay, functions)
- › if you've ever logged in to soundcloud you've probably run code i wrote
mostly writing code, some teaching
/ various
- › 2013: tried to install postgres to do a rails tutorial and nearly gave up programming
- › ...: learning & growing, briefly a scrum master(?)
- › 2018: leading the ios team at an app with like 9mn mau lol
- › (i'm really proud of the relatively brief time i spent teaching at codeclan)
education
bsc (hons) mathematics (1st)
/ university of edinburgh
- › did all the usual subjects with totally passable grades
- › got particularly interested in foundational mathematics
- › dissertation: independence of the axiom of chocie from ZF set theory
- › (got to prove 1+1=2 from first principles)