I’m a fifth (and final) year PhD candidate in the PLSE and UNSAT groups at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze.

I work on programming languages and formal methods. My research helps programmers build more reliable software using automated reasoning tools: verification tools that check program correctness, and synthesis tools that generate correct programs from specifications. I work to make automated reasoning tools easier to build and to scale, and deploy them on important programming problems in systems and architecture.

I have a masters from UW and a bachelors from the Australian National University. I’ve also spent time at Microsoft Research and Amazon Web Services. I’m grateful to be supported by a Facebook PhD Fellowship.

I’m on the faculty job market this year!


21 November 2018
5 November 2018

SMT Solving on an iPhone

Why buy an expensive desktop computer when your iPhone is a faster SMT solver?

17 October 2018

Symbolic Profiling for Scalable Verification and Synthesis

Our OOPSLA’18 paper introduces performance debugging techniques for automated reasoning tools.

24 August 2018

Our paper on profiling symbolic evaluation engines will appear at OOPSLA 2018! The new symbolic profiler is integrated into Rosette, so you can try it out right now.


Conference Papers

Journal Papers

Workshop Papers

Posters & Talks