I’m a third-year PhD student in the PLSE and UNSAT groups at the University of Washington, advised by Emina Torlak. My interest is in programming languages and formal methods.
Before joining grad school, I graduated from Brown University with an Sc.B. degree in CS, working with Shriram Krishnamurthi and Tim Nelson.
Sorawee Porncharoenwase, James Bornholt, Emina Torlak
International Conference on Verification, Model Checking, and Abstract Interpretation 2020
Joe Politz, Benjamin Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
The Art, Science, and Engineering of Programming 2019
Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
International Symposium on Formal Methods 2018