Thursday, May 28, 2009

Stanford's Dawson Engler Receives 2008 Grace Hopper Award

TRUST researcher and Stanford University Professor Dawson Engler was awarded the
Association for Computing Machinery Grace Murray Hopper Award for 2008.

This prestigious award is given annually to the "outstanding young computer professional of the year" who is selected based on a "single recent major technical or service contribution". Prof. Engler was cited for his groundbreaking work in developing advanced tools and techniques that automate program checking to identify software errors. His approaches based on static analysis, model checking, and symbolic execution have proven very successful at finding bugs in large and complex applications.

Technical papers describing this research are available on Prof. Engler's homepage.