Home

I am a programmer, mostly working on deeply embedded projects as part of my day job. On the side I like to experiment with compilers, language design, and formal program verification; topics I also (plan to) write about here along with anything else that I might feel inspired about :)