I’m a second-year computer science PhD student in the PLSE and Sampa groups at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze. We develop new formal methods and programming languages techniques, from program synthesis frameworks to consistency models, to solve systems problems.