Emina Torlak

Photo of Emina by Dennis Wise

Associate Professor
UNSAT and PLSE groups, Allen School
CSE 596

Senior Principal Scientist
Amazon Web Services

CV GitHub DBLP GoogleScholar

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

11/08/21

Our paper on a formal foundation for symbolic evaluation will appear at POPL 2022.

06/25/21

Honored to receive the Robin Milner Young Researcher Award and give a talk at PLDI 2021.

06/10/21

Gave a talk on solver-aided verification for systems software at the Newton Institute workshop on verified software (VSOW04).

See all posts.

Students

Teaching

Service