Christoph Lauter

Registered user since Tue 18 May 2021

Name:Christoph Lauter
Country:United States
Affiliation:University of Alaska at Anchorage
Research interests:Numerical Computing, Floating-Point Arithmetic, Rigorous Computing, Machine Learning

Contributions

ISSTA 2021 Author of Interval Constraint-Based Mutation Testing of Numerical Specifications within the Technical Papers-track