After graduating from University of Arizona, Engler earned his Ph.D. from the Massachusetts Institute of Technology in 1998 while working with Frans Kaashoek in the MIT CSAIL Parallel and Distributed Operating Systems Group.
[1][2][3] Engler is currently an associate professor of computer science and electrical engineering at Stanford University.
In 2002, he co-founded Coverity with several of his students to commercialize his group's work in static code analysis for bug-finding technology.
[6] Engler won the 2006 SIGOPS Mark Weiser Award for his work in operating systems research.
[7] In 2008, he received the Grace Murray Hopper Award for "ground-breaking work on automated program checking and bug-finding".