Registered user since Tue 18 May 2021
Name:Christoph Lauter
Country:United States
Affiliation:University of Alaska at Anchorage
Personal website: http://www.christoph-lauter.org/
Research interests:Numerical Computing, Floating-Point Arithmetic, Rigorous Computing, Machine Learning
Contributions
ECOOP and ISSTA 2021-profile
View general profile
View general profile