I am a Director of Research at Qualys. Before that, I was the Director of Research at Nemean Networks which was acquired by Qualys on August 31, 2010. My primary interests are in network security, algorithms, theory, programming languages, and user interface. Previously, I was a research assistant with the Wisconsin Advance 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 scholarship coordinator for the Door County Folk Festival.