Michael Fredric Sipser is a professor of Applied Mathematics in the Theory of Computation Group at the Massachusetts Institute of Technology. He received his Ph.D. in 1980 from the University of California, Berkeley under the direction of Manuel Blum.
His research area is complexity theory, but he is also active in other related areas. In joint work with Farhi, Goldstone, and Gutmann, he introduced Adiabatic quantum computing.
In 1978 he proved together with David Lichtenstein that Go is PSPACE hard.
Sipser is the author of Introduction to the Theory of Computation (ISBN 0-534-95097-3), a standard textbook in the study of theoretical computer science.
In 2004, he began serving as head of the MIT Mathematics department.
- ^ http://www-math.mit.edu/people/listing.php