Description
Co-founder of the Exokernel Operating System Project and co-developer of KLEE, Engler has served as 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.
Engler's research has focused on automated methods for finding errors in 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.
