Emina Torlak

Photo of Emina by Dennis Wise

Assistant Professor
Computer Science
University of Washington


CSE 596
CV

Rosette GitHub
DBLP GoogleScholar

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

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.

19 Sep 2017

Our paper on push-button verification of an OS kernel will appear at SOSP 2017.

See all posts.

Students

Courses

Service