Emina Torlak

Photo of Emina by Dennis Wise

Assistant Professor
Computer Science
University of Washington

CSE 596

Rosette GitHub
DBLP GoogleScholar


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.


16 Jan 2018

Our paper on generalized data structure synthesis will appear at ICSE 2018.

14 Nov 2017

Our paper on computer-aided design of educational domain models will appear at VMCAI 2018.

14 Nov 2017

Our paper on refinement types for Ruby will appear at VMCAI 2018.

13 Oct 2017

Our paper on automatic formal verification for EPICS will appear at ICALEPCS 2017.

28 Sep 2017

Our paper on symbolic types for lenient symbolic execution will appear at POPL 2018.

See all posts.