Assistant Professor
Paul G. Allen School of Computer Science & Engineering
emina
CSE 596
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
05/22/18
05/11/18
Got tenure!
04/30/18
See all posts.
Students
- James Bornholt, PhD
- Eric Butler, PhD
- Vimala Jampala, MS (2014)
Teaching
Service
- IFIP WG 2.3 member
- IFIP WG 2.4 member
- OOPSLA 2019 RC
- Onward! 2018 SC
- PLDI 2018 SC Member at Large
- The Future of Alloy Workshop 2018 Program Co-Chair
- PLDI 2018 PC
- 2017 and earlier