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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Michael Sipser canonical | 5 |
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 self-linksurface differs ⓘ |
| 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 |
Introduction to the Theory of Computation
ⓘ
surface form:
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 (5)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Introduction to the Theory of Computation