I am a PhD student at the University of Washington's Paul G. Allen School of Computer Science and Engineering where I am advised by Emina Torlak and Xi Wang . My research interests are in bug finding, program verification, and software security.
Previously, I received my B.S. in Electrical and Computer Engineering from The University of Texas at Austin. While there, I was advised by Sarfraz Khurshid . I also previously worked in security research and reverse-engineering at Trend Micro's Zero Day Initiative .