ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
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 software engineering, programming languages, and formal methods. 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 focuses on developing automated tools that help people build better software more easily. She is the creator of the Kodkod constraint solver, which has been used in over 70 academic and industrial tools for software engineering. Emina has applied her expertise to a broad range of problems, from verification of memory-consistency models to generation of test data for decision support applications. Her current work integrates constraint solvers into programming languages to support computer-aided verification, debugging, and synthesis of code, making programming a collaboration between humans and machines.

Country:United States
Affiliation:University of Washington
Research interests:SAT-solvers, Kodkod, verification, synthesis

Contributions

ML4PL 2015 Scaling Program Synthesis by Exploiting Existing Code
ECOOP 2015 Synthesis and Verification for Everyone
Show activities from other conferences

ECOOP 2015-profile
View general profile