In Autumn 2020 I will join the University of Texas at Austin as an Assistant Professor of Computer Science. I’m currently an Applied Scientist in the Automated Reasoning Group at Amazon Web Services.

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

I received my PhD in 2019 from the University of Washington, where I was advised by Emina Torlak, Dan Grossman, and Luis Ceze, and a member of the UNSAT and PLSE groups. I also have a masters from UW and a bachelors from the Australian National University.

News

31 July 2019

The SIGPLAN blog published an article I wrote about the state of program synthesis in 2019.

29 May 2019

I defended my PhD!

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?

Publications

Conference Papers

Journal Papers

Workshop Papers

Posters & Talks

Theses