I’m a fourth-year computer science PhD student in the PLSE group at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze. I work on programming languages and formal methods, with an emphasis on new automated program synthesis and verification techniques.

I have a masters from UW, a bachelors from the Australian National University, and was a software engineer at Microsoft Research.

News

18 January 2018

I was lucky enough to receive a 2018 Facebook Fellowship!

18 December 2017

I was interviewed for the People of Programming Languages series at POPL 2018.

27 June 2017

The video from my PLDI 2017 talk about memory model synthesis is available.

13 April 2017

Publications

Conference Papers

Journal Papers

Workshop Papers

Posters & Talks

Theses