Assistant Professor
Computer Science
University of Washington
Research
My research aims to help people create better software more easily. As part of this agenda, I develop new languages and tools for computer-aided verification and synthesis of software. My collaborators and I apply these techniques to all kinds of systems, from radiotherapy machines to K-12 algebra tutors. A lot of our work is based on Rosette, a new language that makes it easy to create efficient tools for program verification, synthesis, and more.
News
A Primer on Boolean Satisfiability
First steps to adding the magic of SAT to your problem-solving toolbox.
Our paper on the SpaceSearch library for building verified solver-aided tools will appear at ICFP 2017.
Our paper on synthesizing memory models will appear at PLDI 2017.
Students
- James Bornholt, PhD
- Eric Butler, PhD
- Vimala Jampala, MS (2014)
Courses
Service
- IFIP WG 2.3 member
- IFIP WG 2.4 member
- PLDI’18 PC
- Onward!’17 PC Chair
- CAV’17 PC
- 2016 and earlier