Dr. Dawson Engler

Dawson Engler is an associate professor of Electrical Engineering and Computer Science at Stanford University. He received his Ph.D. from MIT and his B.S. from the University of Arizona. Dr. Engler's research focuses on automated methods for finding errors program source code. He is known for the development of metacompilation -- the application of high-level programmer-written static checkers to find semantic rule violations -- and for techniques to scale the application of formal model checking to large software systems.