Sorawee Porncharoenwase

I’m a first-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.


Publications