Emina Torlak

Photo of Emina by Dennis Wise

Assistant Professor
Paul G. Allen School of Computer Science & Engineering


CSE 596

CV
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

05/22/18

Gave a two-day course on Rosette at the Eighth Summer School on Formal Techniques (SSFT 2018).

05/11/18

Got tenure!

04/30/18

Our paper on generalized data structure synthesis won an ACM SIGSOFT Distinguished Paper Award at ICSE 2018.

See all posts.

Students

Teaching

Service