A professor of Applied Mathematics at MIT. He is widely known for his work on Complexity Theory. In addition to his research, he has authored Introduction to the Theory of Computation, which is a widely used textbook in courses on Computational Theory. This book covers all areas in computer science theory, including Turing Machines and problems in Classes P and NP.