Associate Professor
UNSAT and PLSE research groups
Paul G. Allen School of Computer Science & Engineering
emina
CSE 596
Research
My research aims to help people create better software more easily. 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
Honored to receive the Robin Milner Young Researcher Award and give a talk at PLDI 2021.
Gave a talk on solver-aided verification for systems software at the Newton Institute workshop on verified software (VSOW04).
See all posts.
Students
- Sorawee Porncharoenwase, PhD
- Jacob Van Geffen, PhD
- James Bornholt, PhD, 2019
- Eric Butler, PhD, 2018
- Vimala Jampala, MS, 2015
Teaching
- CSE 507: 21au, 19au, 19wi, etc.
- CSE 311: 20sp, 18au
- CSE 403: 16au, 16wi, 15sp
- CSE 599 A2: 15wi
- CS294: 12au
Service
- IFIP WG 2.3 member
- 2020 and earlier