[gigamonkey]

> He has never taken a non-academic job in his life;

That's not quite right. He did at least consulting work outside of academia. As I quote him in Coders at Work: "For example, some of the best work I did for Burroughs Corporation was to debug their hardware designs. Their engineers would show me the specs for their computer and I would look at it and I would try to construct examples where they would be off by 1 or something. I got more than 200 bugs out of their B-5000–series machines before they went into production, although it had passed the simulators."