Theoretical Computer Science Courses and Certifications

Semantic Information and the Physics of Meaning

Exploring the physics of meaning, this talk delves into semantic information, examining how systems process and organize information, and the fundamental constraints on energy required for information processing.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Free Video

On the Foundations of Info-Metrics

Explore the science of info-metrics for modeling and inferring from limited data, with insights on reasoning under uncertainty and insufficient information.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

The Thermodynamics of Communication - Exploring Energy and Information Limits

Exploring the fundamental relationship between energy, information, and matter in communication processes. Discusses nonlinear dynamics of communication channels and their implications for collective intelligence and limits to human knowledge.

• YouTube
• 1 hour 7 minutes
• Self-Paced
• Free Video

Information Theory: Tunstall's Code - Lecture 8

Explore Tunstall's algorithm for optimal variable-input, fixed-output encoding in information theory, building on arithmetic codes to create efficient compression systems.

• YouTube
• 53 minutes
• Self-Paced
• Free Video

State Machines - Lecture 4

Explore state machine abstractions for modeling algorithms and learn to prove their properties using mathematical induction techniques.

• YouTube
• 1 hour 21 minutes
• Self-Paced
• Free Video

Reed-Solomon Codes - Lecture 20

Explore polynomial-based Reed-Solomon codes construction, minimum distance computation using algebra's fundamental theorem, and decoding techniques in discrete mathematics.

• YouTube
• 1 hour 6 minutes
• Self-Paced
• Free Video

Error-Correcting Codes - Hamming Codes - Lecture 19

Discover how to send information over noisy channels and correct errors using 7-bit Hamming codes and linear codes in this MIT discrete mathematics lecture.

• YouTube
• 1 hour 19 minutes
• Self-Paced
• Free Video

Transmitting Information Reliably over a Noisy Channel and Shannon's Noisy Coding Theorem - Lecture 18

Explore Shannon's groundbreaking theorem on reliable information transmission through noisy channels, covering repetition codes and proving the binary symmetric channel case.

• YouTube
• 1 hour 12 minutes
• Self-Paced
• Free Video

GKR Protocol and IP=PSPACE - Lecture 3

Delve into advanced cryptography concepts focusing on IP=PSPACE applications and the GKR Protocol through detailed mathematical proofs and theoretical frameworks.

• YouTube
• 1 hour 22 minutes
• Self-Paced
• Free Video

Probabilistically Checkable Proofs via GKR and Interactive Arguments - Lecture 4

Delve into probabilistically checkable proofs (PCP), exploring their construction through GKR protocol and interactive succinct arguments for NP in advanced cryptography.

• YouTube
• 1 hour 30 minutes
• Self-Paced
• Free Video

Institute for Advanced Study

List Decoding - Algebraic and Combinatorial

Explore advanced error-correcting codes through algebraic and combinatorial approaches, focusing on Folded Reed-Solomon codes and expander graph-based constructions for optimal list decoding.

• YouTube
• 2 hours 11 minutes
• Self-Paced
• Free Video

Hausdorff Center for Mathematics

Cellular Automata and Algebraic Groups

Explore how additive cellular automata with vector states connect to algebraic group dynamics, revealing complex temporal behaviors and generalizations of Gauss's prime polynomial theorem.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Wolfram

2026 Wolfram Science Winter School Keynote Address

Discover Stephen Wolfram's opening keynote for the 2026 Winter School, exploring cutting-edge computational science and research methodologies over nearly two hours.

• YouTube
• 1 hour 48 minutes
• Self-Paced
• Free Video

Institute for Advanced Study

The Orthogonal Vectors Conjecture and Nonuniform Circuit Lower Bounds

Explore advanced connections between circuit analysis algorithms and nonuniform lower bounds, revealing new win-win results that could refute the Orthogonal Vectors Conjecture.

• YouTube
• 2 hours 4 minutes
• Self-Paced
• Free Video

Wolfram

Continuous Cellular Automata and Chaotic Strings

Explore continuous cellular automata through perturbation analysis, complexity classification, randomness generation, and computational tools for chaotic string systems.

• YouTube
• 18 minutes
• Self-Paced
• Free Video