MS in CS at University of California, Davis, with a focus on developing tools for numerical software testing with the Programming Languages and Software Engineering research group. BA in mathematics from University of California, Santa Cruz.