1. Introduction, Finite Automata, Regular Expressions
Michael Sipser · 1:00:34
2. Nondeterminism, Closure Properties, Conversion of Regular Expressions to FA
Michael Sipser · 1:03:27
Lecture 1: Introduction to Cryptography by Christof Paar
Christof Paar · 1:17:24
Proofs, Knowledge, and Computation: Zero-Knowledge Interactive Systems
Silvio Micali · 1:03:26
What Needs to Be Added to Machine Learning? PAC Learning and Reasoning
Leslie G. Valiant · 54:36
Differential Privacy: Fundamentals to Forefront
Cynthia Dwork · 59:33
What Needs to Be Added to Machine Learning? PAC Learning and Reasoning
T. Jefferson Coolidge Professor of Computer Science & Turing Laureate, Harvard University
PAC-learning pioneer Leslie Valiant examines how statistical generalization and compositional logical deduction can be unified in formal computational models of educability.
Proofs, Knowledge, and Computation: Zero-Knowledge Interactive Systems
Next · Step 6Differential Privacy: Fundamentals to Forefront