1:23:43
Academic Discipline
Algorithms & Theory
Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.
14courses71standalone talks339total lectures
Subfields
Programming Languages— Compilers, type systems, functional programming, runtime memory management, and language semantics.
5 topicsjknavigate↵watchcchaptersssavexwatched
Save
52:10