Michael Sipser

Selected reading: Introduction to the Theory of Computation.