Cool stuff! But this sentence makes me cringe:

"Liskov [...] was recognized for helping make software more reliable, consistent and resistant to errors and hacking." (emphasis mine)

From MIT, of all places!