Blogs >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Emina Torlak

Registered user since Sun 7 Feb 2016

Name: Emina Torlak

Bio: Emina Torlak is an Assistant Professor at the University of Washington, working at the intersection of programming languages, formal methods, and software engineering. She received her Bachelors (2003), Masters (2004), and Ph.D. (2009) degrees from MIT, and subsequently worked at IBM Research, LogicBlox, and as a research scientist at U.C. Berkeley. Her research aims to help people create better software more easily. As part of this agenda, she develops new languages and tools for computer-aided design, verification, and synthesis of software. Emina is the creator of the Kodkod constraint solver, which has been used in over 70 academic and industrial tools for software engineering. Her current work integrates constraint solvers into the Rosette programming language, which enables easy creation of solver-based tools for all kinds of systems, from radiotherapy machines to automated algebra tutors. Emina is a Sloan Research Fellow (2016) and a recepient of the AITO Dahl-Nygaard Junior Prize (2016).

Country: United States

Affiliation: University of Washington

Personal website: http://people.csail.mit.edu/emina/

Research interests: solver-aided languages, verification, synthesis, constraint solving

ECOOP 2016 Activities

ECOOP 2016-profile
View general profile