UW CSE professor Michael Ernst has received the inaugural John Backus Award from IBM Research for his research contributions to enhancing programmer productivity. Ernst is best known for his work on dynamic invariant detection, testing, type systems, and security.
Created by IBM to honor mid-career university faculty members, the award is named for IBMer John W. Backus, the creator of the Fortran programming language.
Ernst received his Ph.D. from UW CSE in 2000, working with David Notkin. He was co-advised by Bill Griswold, a previous Notkin Ph.D. student on the faculty at UCSD, with assists from UW CSE professors Craig Chambers, Pedro Domingos, and Dan Weld. He spent eight years as a professor at MIT before returning to Seattle and the UW CSE faculty.
Read the Dr. Dobb’s post here.