Theory of Computation
Michael Sipser's definitive course on finite automata, context-free grammars, Turing machines, decidability, reducibility, time and space complexity, NP-completeness, and interactive proofs.
Michael Sipser
Donner Professor of Mathematics
Courses by Michael Sipser
Complete university lecture series taught by Michael Sipser.
Study paths featuring Michael Sipser
1
6 steps · 6h4 universities
Computability, Zero-Knowledge & Differential Privacy
Automata, cryptographic hardness, interactive proofs, and privacy guarantees
MIT · Ruhr University Bochum · Harvard University +1
6 curated lecturesOpen path →
All lectures by Michael Sipser
22Search or browse every recorded session across courses and talks.
Showing 20 of 22 lectures
Lecturej/k navigate · c chapters · s save · x watched
Scholar · University
Chapters · Duration
18.404J · Lec 1 · Michael Sipser · MIT
1:00:34
18.404J · Lec 3 · Michael Sipser · MIT
1:10:02
18.404J · Lec 4 · Michael Sipser · MIT
1:09:22
1:03:27
18.404J · Lec 7 · Michael Sipser · MIT
1:16:51
18.404J · Lec 15 · Michael Sipser · MIT
1:18:27
18.404J · Lec 10 · Michael Sipser · MIT
1:21:41
18.404J · Lec 14 · Michael Sipser · MIT
1:25:53
18.404J · Lec 17 · Michael Sipser · MIT
1:17:36
18.404J · Lec 13 · Michael Sipser · MIT
1:19:23
18.404J · Lec 16 · Michael Sipser · MIT
1:20:10
18.404J · Lec 12 · Michael Sipser · MIT
1:25:37
18.404J · Lec 20 · Michael Sipser · MIT
1:21:57
18.404J · Lec 19 · Michael Sipser · MIT
1:20:06
18.404J · Lec 18 · Michael Sipser · MIT
1:19:38
18.404J · Lec 22 · Michael Sipser · MIT
1:23:41