Steve Dunham

I’m the father of two kids and a software engineer living in Seattle. I’ve been programming since elementary school. In college I got masters degrees in Mathematics and Computer Science, and then moved on to industry. I spent the last two decades designing and writing widely used software in the movie and television industry.

In my spare time, I’m learning type theory, contributing to Idris2, a proof assistant and programming language, and writing my own self-hosted language, Newt.

I also enjoy cooking and have just started learning how to knit.