SPLASH 2014 (series) / Emina Torlak
![Emina Torlak](https://2014.splashcon.org/getProfileImage/eminatorlak/b55c5e47-689a-4b74-8481-8821115e9f31/small.jpg?1711502038000)
Registered user since Sun 7 Feb 2016
Name:Emina Torlak
Bio:
I am a computer scientist at the University of California, Berkeley, CA, USA.
Research Interests: my research focuses on improving software design and development through automation. I have developed a variety of automated techniques for analyzing and synthesizing software artifacts, including specifications, programs, executions, test data, and memory models. I am currently working on Rosette, a new solver-aided language, which enables easy creation of domain-specific tools for (bounded) verification, synthesis, angelic execution, and fault localization.
Affiliation:University of California, Berkeley
Personal website: http://people.csail.mit.edu/emina/
Contributions
SPLASH 2014-profile
View general profile
View general profile