This is insane. I took his class on Automata and Complexity Theory (cs154.stanford.edu) two years ago, and I have friends who came out of the final exam for the

This is insane. I took his class on Automata and Complexity Theory (cs154.stanford.edu) two years ago, and I have friends who came out of the final exam for the class only a few hours ago. I remember really enjoying this class, despite not having much of a knack for deeply theoretical CS. I was introduced to the concepts behind automata, turing machines, deterministic and nondeterministic computing, decidability theory, NP-completeness, and so on. I enjoyed this class entirely because of the way he taught it -- he took great care in the precision, concision, and clarity of his lectures. What a deeply talented, smart, and clearly influential individual. My condolences go out to his family and friends.