I'm interested in programming language theory, compression, and cryptography. Recently I've been helping out with the Idris2 language and wrote the dependent typed language Newt.

I'm currently looking for new opportunities (local or remote).

https://dunhamsteve.github.io