Theoretical Computer Science Courses and Certifications

Ryan O'Donnell

Computational Models - Turing Machines - CMU - CS Theory Toolkit

Explore Turing Machines as a computational model, covering historical advantages, multitape variations, and key concepts like memory, time, and space bounds in theoretical computer science.

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

Ryan O'Donnell

Factorial Asymptotics, Stirling's Formula - Lecture 3b of CS Theory Toolkit

Explore factorial asymptotics and Stirling's Formula in this graduate-level lecture, covering mathematical techniques for theoretical computer science research.

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

Ryan O'Donnell

Big O and Friends - Lecture 2a of CS Theory Toolkit

Explore asymptotic notation in theoretical computer science, covering Big O, Omega, and related concepts. Essential for understanding algorithm efficiency and complexity analysis.

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

Ryan O'Donnell

Undergrad Complexity at CMU - Turing Machines

Explore Turing Machines in computational complexity theory, covering formalization, the Turing Thesis, examples, and mathematical definitions for a comprehensive understanding.

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

NDC Conferences

How to Start Using Coroutines

Learn to implement and utilize C++20 coroutines with practical examples and a custom library, exploring their benefits and applications in modern programming.

• YouTube
• 47 minutes
• Self-Paced
• Conference Talk

TheIACR

Certified Randomness from Quantum Supremacy

Explore quantum supremacy, certified randomness, and their implications in cryptography with Scott Aaronson's insightful presentation on cutting-edge quantum computing concepts.

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

Paul G. Allen School

Convex Optimization IV - Sebastien Bubeck, Microsoft Research

Explore advanced concepts in convex optimization, including gradient flow, comparison techniques, and optimal algorithms with Sebastien Bubeck from Microsoft Research.

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

Institute for Advanced Study

Univalence from a Computer Science Point-of-View - Dan Licata

Explore univalence in computer science with Dan Licata, covering Martin-Löf type theory, computation, and applications in homotopy theory and group structures.

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

International Mathematical Union

Ultrametricity in Spin Glass Models

Explore ultrametricity in spin glass models with Dmitry Panchenko, delving into mathematical concepts and their applications in statistical physics and complex systems.

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

Scala Days Conferences

A Pragmatic Introduction to Category Theory

Explore the fundamentals of Category Theory and its practical applications in functional programming, with a focus on Scala implementations and real-world examples.

• YouTube
• 42 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Oatmeal is Cheap - A Fundamental Theorem for Procedural Generators

Explore Kolmogorov complexity in procedural generation, linking generator knowledge to output complexity. Insights for game design decisions in Minecraft, Borderlands, and Tea Garden, with interactive examples.

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

Google TechTalks

Understanding Oversmoothing in Graph Neural Networks (GNNs) - Insights from Two Theoretical Studies

Explore theoretical insights on oversmoothing in Graph Neural Networks, analyzing mechanisms, quantifying effects, and examining attention-based GNNs to enhance understanding and improve network performance.

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

NPTEL-NOC IITM

Significance of Regular Languages and Regular Operations - Lecture 5

Explore regular languages, non-regular examples, and key operations like union, concatenation, and Kleene star to deepen understanding of formal language theory.

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

Institute for Advanced Study

The Value of Errors in Proofs

Explore the significance of errors in mathematical proofs with Avi Wigderson, delving into their role in advancing quantum information and physics research.

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

TheIACR

Living Between the Ideal and Real Worlds

Explore the balance between theoretical ideals and practical realities in cryptography with insights from expert Nigel Smart's Eurocrypt 2017 presentation.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Conference Talk