Computer Scientist specialising in programming languages, compilers and program verification. @inkytonik on Twitter. Homepage: https://inkytonik.github.io.