Regular biography
Michael Sipser is a theoretical computer scientist affiliated with the Massachusetts Institute of Technology's Department of Mathematics. His research focuses on algorithms and complexity theory, including efficient error correcting codes, interactive proof systems, randomness, quantum computation, and the computational difficulty of problems. He is the Donner Professor of Mathematics and a member of CSAIL. Sipser has been on the MIT faculty since 1980 and has held various leadership roles within the department. He is also a Margaret MacVicar Faculty Fellow and has contributed significantly to undergraduate education at MIT. His work includes the widely used textbook, Introduction to the Theory of Computation. He is a Fellow of the American Academy of Arts and Sciences and the Association for Computing Machinery.