Registered user since Fri 16 Jan 2015
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. I’m interested in formal methods and programming languages, and how the two can solve problems in computer systems. I’ve been an intern and then a software engineer at Microsoft Research. In 2013 I graduated with a Bachelor of Philosophy from the Australian National University.
|POPL 2016|| Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track|
Optimizing Synthesis with Metasketches
|Show activities from other conferences|
View general profile