Academic Discipline
Algorithms & Theory
Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.
14courses72standalone talks340total lectures
Subfields
Computational Complexity— Complexity classes, P vs NP, reductions, Turing machines, circuit complexity, and PCP theorems.
12 topicsjknavigate↵watchcchaptersssavexwatched
Save
