I'm currently a second-year PhD student in the Department of Computer Science at the University of Texas at Austin. I'm interested in mechanical theorem proving (both automated and user-driven) and programming languages. In a previous life I was Master's student at Washington University in St. Louis. While there, I worked in the computational logic group under the excellent guidance of Prof. Aaron Stump. Interested parties can find my master's thesis on developing sound and complete automated reasoning techniques here. Even uninterested parties should visit this site and check out the slightly creepy chicken logo I developed for this project.

When not sitting in my cubicle or looking generally ridiculous in pictures, I am usually chilling with my wonderful wife Shannon and my two photogenic but surly dachshunds Linus and Mo. We live down in south Austin in a duplex that has a pretty nice yard for the little stinkers to train in. I've also been known to do other things in my spare time, including reading dense Russian novels, lifting large chunks of metal, and playing with my game console with a funny name.