Madison, WI


I'm interested in distributed computing and language-based tools to make programmers' lives easier and improve software quality, and I do both of these to some degree in my day job. In the past, I've done stuff ranging from static analysis and virtual machine hacking to logic programming.