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 focuses on verification and synthesis of 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 create their own 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