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