12/13   I've noticed that other schools offer Automata and Theory
        (e.g. UCLA, Stanford). Is that covered in the 17x series?
        \_ yes
        \_ take 172. it'll whip the {llama,ucla,stanford}'s ass. especially
           next semester.
           \_ You want Manuel "But they don't know it's an open problem" Blum.
              He is the STANDARD.  172 prof.
              \_ Blum is now at Carnegie with the rest of his mishpochah. He's
                 only coming back for one semester next semester to visit and
                 teach CS70. And Vazirani may be Blum's student, but he should
                 be damn good. I speak from experience. -alexf