I work at Google.

My primary interests are in algorithms, systems, security, theory, and programming languages.I was Director of Research at Qualys, where I worked extensively on IronBee. Before that, I was Director of Research at Nemean Networks which was acquired by Qualys on August 31, 2010. I was a research assistant with the Wisconsin Advanced Internet Laboratory at the University of Wisconsin–Madison. I also worked in the Flux research group at the University of Utah, primarily as a developer of Emulab.

I received my Ph.D. in Mathematics from the University of Wisconsin–Madison in May 2007. My advisor was Steffen Lempp. My focus was mathematical logic specializing in computability theory. A graph of my mathematical ancestry can be found here.

I dance with Madison Folkdance Unlimited. I am also a coordinator for the Door County Folk Festival.