29:00
Academic Discipline
Algorithms & Theory
Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.
14courses74standalone talks344total lectures
Subfields
Foundations of Complex Systems · Lec 13·History of Science & Literature · Diana Reiss · Santa Fe Institute
1:28:56