I am a computer scientist at the University of Washington, working on tools and programming models for computer-aided design, verification, and synthesis of software. As part of my research, I develop automated techniques for building and verifying all kinds of software artifacts, from specifications, to programs, to safety-critical systems. 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