Bio:Dawson Engler is an Associate Professor at Stanford. He received his PhD from MIT for his work on the exokernel operating system and his undergraduate degree from University of Arizona, the latter in large part funded by being a bouncer. His research focuses on devising automatic methods to find as many interesting bugs in real code as possible, including static analysis, implementation level model checking, and symbolic execution. His research group has won numerous "Best Paper" awards and its static tools have found thousands of errors in open source systems (e.g., Linux and BSD) and have formed the basis of a successful company, Coverity. He won the 2006 Weiser Award.