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.
Gave a keynote on solver-aided programming at ISSTA 2018.
See all posts.
- CSE 311: 18au
- CSE 507: 18sp, 17wi, 16sp, etc.
- CSE 403: 16au, 16wi, 15sp
- CSE 599 A2: 15wi
- CS294: 12au