I'm currently a fourth-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 and am researching their intersection with Prof. William Cook. In a previous life I was a Master's student at Washington University in St. Louis. While there, I worked in the computational logic group under the guidance of Prof. Aaron Stump. Interested parties can read more about my research here.

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 exploring the rather large state of Texas.