jacksonvanover

Pursuing PhD in CS at UC Davis, developing tools for numerical software testing with @ucd-plse research group. MS in CS, BA in mathematics.

University of California, DavisSacramento