Comment by WalterGR

It’s awesome to see Brian Harvey get recognition. He’s an incredible educator - the finest I’ve encountered - and I’ll be forever grateful that I got to experience that at Berkeley before he retired.

https://en.m.wikipedia.org/wiki/Brian_Harvey_(lecturer)