"famous" computer scientist, best known among cs students as "that bitter, unvalidated old fuck who came up with some kickass tree search algorithms"
that said, i do still find reducing nondeterministic finite automata to deterministic ones strangely satisfying, which also creeps me the fuck out