Dawson Engler

In his papers on automated program checking, Dawson Engler introduces and develops powerful techniques and tools for practical program analysis for finding errors in code. Dr. Engler's work leverages domain- and application-specific checks, model-checking infrastructures applicable to large pieces of code, and execution-generated test cases. These methods have been used to check substantial software systems, uncovering many hidden bugs. Dr. Engler's remarkably well-grounded, insightful, and practical approach to automated program checking has served as an inspiration to several other efforts and tools for finding bugs in complex software systems.