conf.researchr.org / Jackson Vanover
Registered user since Fri 22 May 2020
Name:Jackson Vanover
Bio:
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.
Country:United States
Affiliation:University of California, Davis
Personal website: https://github.com/jacksonvanover
Research interests:Software Testing, Numerical Programs, Floating Point Computations
Contributions