I am a CS undergrad student at University of Washington currently working with Pavel Panchekha, Zach Tatlock and Alex Sanchez-Stern on automatically detecting floating-point errors and improving floating-point accuracy.

You can always reach me at chenq9@uw.edu