Lecture 1 - Finite Automata
Lecture 2 - TMs, Halting Problems
Lecture 3 - Concurrency
Lecture 4 - Blockchain and Bitcoin
Lecture 5 - Complexity Theory
Lecture 6 - Lower Bounds, Dealing with NP hardness
Lecture 7 - Online and streaming algorithms
Lecture 8 - Zero Knowledge Proofs
Lecture 9 - Verification, Games
