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. I also have a bachelors from the Australian National University. Before starting at UT, I was a Senior Applied Scientist at Amazon Web Services, where I worked on automated reasoning for Amazon S3.
I defended my PhD!
TeachingSpring 2021: CS 395T: Systems Verification and Synthesis
SOSP 2019. Best Paper Award. Distinguished Artifact Award.
OOPSLA 2018. Distinguished Artifact Award.
OSDI 2016. Best Paper Award.
ASPLOS 2016. IEEE Micro Top Picks.
ASPLOS 2014. SIGPLAN Research Highlight. IEEE Micro Top Picks.
ACM SIGOPS Operating Systems Review, vol. 54, no. 1, pp. 31–39, July 2020.
IEEE Embedded Systems Letters, vol. 10, no. 1, pp. 2–5, March 2018.
IEEE Micro, vol. 37, no. 3, pp. 98–104, May–June 2017.
IEEE Micro, vol. 35, no. 3, pp. 132–143, May–June 2015.
Posters & Talks
PLDI 2013 Student Research Competition. First Place, PLDI Student Research Competition. Second Place, ACM Student Research Competition Grand Final.
PhD thesis, University of Washington, 2019.
Honours thesis, Bachelor of Philosophy (Honours), Australian National University, 2013.