I am a computer scientist at the University of Washington, working on tools and methodologies that help people build better software more easily. My research to date has focused on developing automated tools for analyzing and synthesizing all kinds of software artifacts, including specifications, programs, executions, test data, and memory models. I am currently working on Rosette, a new solver-aided programming language that enables programmers to easily create domain-specific tools for program verification, synthesis, debugging, and angelic execution.
emina at cs.washington.edu
Paul G. Allen Center, Room 596
AC101 Paul G. Allen Center, Box 352350
185 Stevens Way, Seattle, WA 98195-2350