Undergraduate researcher, currently working on the floating-point improvement tool Herbie.
BS in Computer Science, 2022
University of Utah