My name is David Thien. I’m currently a senior undergrad at the University of Washington. I work in the PLSE lab with my grad advisor Pavel Panchekha supervised by Zachary Tatlock. I mostly work with floating point software and help develop Herbie, as well as tools in FPBench. I have also worked with James Wilcox on testing the Rust compiler.