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, with an emphasis on building scalable automated reasoning tools for program verification and synthesis.

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!

News

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.

2 August 2018

Can you train a neural network using an SMT solver?

Yes, and I did, but you shouldn’t.

Publications

Conference Papers

Journal Papers

Workshop Papers

Posters & Talks

Theses