Michael Sipser
E22252
Michael Sipser is an American theoretical computer scientist known for his influential work in computational complexity theory and for authoring a widely used textbook on the theory of computation.
Aliases (1)
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
American
→
book → computer scientist → person → textbook → theoretical computer scientist → |
| academicDiscipline |
computer science
→
mathematics → |
| almaMater |
Cornell University
→
University of California, Berkeley → |
| author |
Michael Sipser
→
|
| basedIn |
Cambridge, Massachusetts
→
|
| citizenship |
United States of America
→
|
| doctoralAdvisor |
Richard Karp
→
|
| educatedAt |
Cornell University
→
University of California, Berkeley → |
| employer |
Massachusetts Institute of Technology
→
|
| field |
automata theory
→
computability theory → computational complexity theory → theoretical computer science → |
| fieldOfWork |
complexity classes
→
proof systems in complexity theory → randomized computation → |
| genre |
computer science textbook
→
textbook → |
| hasRole |
educator
→
researcher → |
| hasWritten |
Introduction to the Theory of Computation
→
|
| knownFor |
textbook Introduction to the Theory of Computation
→
work in computational complexity theory → |
| languageOfWorkOrName |
English
→
|
| mainSubject |
automata theory
→
computability theory → computational complexity theory → theory of computation → |
| nationality |
American
→
|
| notableIdea |
results in circuit complexity
→
results in interactive proof systems → |
| notableWork |
Introduction to the Theory of Computation
→
|
| occupation |
professor
→
|
| positionHeld |
Dean of the School of Science at MIT
→
Head of the MIT Department of Mathematics → |
| workInstitution |
Massachusetts Institute of Technology
→
|
Referenced by (3)
| Subject (surface form when different) | Predicate |
|---|---|
|
Introduction to the Theory of Computation
→
Introduction to the Theory of Computation → |
author |
|
Shafi Goldwasser
→
|
coAuthor |