Personal tools
You are here: Home → Awards → Doctoral Dissertation Award
 
Document Actions

Awards

Awards
2000 – Michael D. Ernst

Honorable Mention (2000)
Citation

For his dissertation Dynamically Discovering Likely Program Invariants, nominated by the University of Washington, Seattle, Washington.