Dawson Engler

Dawson Engler is an Associate Professor of Computer Science and Electrical Engineering at Stanford University. He holds a PhD from MIT (1998) and is affiliated with the School of Engineering. His research focuses on developing software systems and uncovering underlying principles, with a strong emphasis on static analysis, symbolic execution, and bug detection in real-world systems. Engler co-founded Coverity, a company commercializing static analysis tools, and has made significant contributions to operating systems, including the Exokernel project.

Education:

• PhD in Computer Science, MIT (1998)

Research Interests: Engler’s work bridges theoretical and applied computer science, emphasizing practical systems and security. Key areas include static analysis for bug detection, symbolic execution for test generation, and secure compiler extensions. His contributions span operating systems, compiler design, and software reliability, with a focus on real-world applications.

Awards:

• ACM Grace Hopper Award (2008)
• SIGOPS Mark Weiser Award (2006)
• Best Paper Awards at OSDI (2008, 2004, 2000)

Advising & Grants: Engler advises students including Cristian Cadar, Daniel Dunbar, and Junfeng Yang. His work has been supported by grants focused on improving software reliability and security. He co-founded Coverity, which commercialized static analysis tools, demonstrating the practical impact of his research.

Labs & Collaborations: His research group at Stanford explores cutting-edge methods in software analysis and security, collaborating with industry on tools like Klee and EXE for automated bug detection.