Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.
13 courses · 77 standalone talks · 370 total lectures