I am an assistant professor of computer science at Colorado School of Mines, working on research in synthesis and verification of software-defined network (SDN) programs. My overall goal is to develop tools and techniques to help network programmers write better code. In my free time, I enjoy hiking, rock climbing, and unicycling.