Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

13 courses · 64 standalone talks · 369 lectures

All Theory & Algos Algorithms & Data Structures (202)Computational Complexity (88)Cryptography (41)Probability & Information Theory (27)Neuroscience & Cognition (26)Calculus & Analysis (25)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Decidability, Type Systems, and the Limits of Open Source Trust

Decidability, Type Systems, and the Limits of Open Source Trust

Systems & CS·Public Colloquium · Premature Abstraction

Premature AbstractionPremature Abstraction

15:21

The Exponential Time Hypothesis: Foundations of Computational Hardness

The Exponential Time Hypothesis: Foundations of Computational Hardness

Theory & Algos·Standalone Lecture · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:19:45

Theoretical Foundations of Modern Machine Learning Paradigms

Theoretical Foundations of Modern Machine Learning Paradigms

SIMONS-TCS-ML · Lec 1 · Pranjal Awasthi · UC Berkeley

Pranjal Awasthi UC Berkeley

38:15

What Can the Theory of Cryptography Tell Us About AI Verification?

What Can the Theory of Cryptography Tell Us About AI Verification?

Theory & Algos·Research Seminar · Shafi Goldwasser · Simons Institute (UC Berkeley)

Shafi Goldwasser Simons Institute (UC Berkeley)

1:02:15

Essential Hardness: Completing the Exponential Time Hypothesis Proof

Essential Hardness: Completing the Exponential Time Hypothesis Proof

Theory & Algos·Standalone Lecture · Ryan O'Donnell · Carnegie Mellon University

Ryan O'Donnell Carnegie Mellon University

1:22:00

Foundations, Privacy & Generalization Challenges in Modern Machine Learning

Foundations, Privacy & Generalization Challenges in Modern Machine Learning

SIMONS-TCS-ML · Lec 2 · Katrina Ligett · UC Berkeley

Katrina Ligett UC Berkeley

36:41

More categories

Systems & CS (498)Mathematics (536)Physics & Cosmology (369)AI & Machine Learning (276)History & Humanities (366)Philosophy & Ethics (282)Biology & Neuroscience (333)Economics & Finance (324)Engineering & Robotics (332)