Computer Science Courses and Certifications

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Countability and Diagonalization

Explore fundamental concepts in theoretical computer science, including countability, diagonalization, and set theory, with a focus on infinite sets and cardinality.

• YouTube
• 1 hour 14 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science - Turing's Legacy

Explore Turing Machines, their definition, and programming techniques in this theoretical computer science lecture, covering interpreters, formal definitions, and practical TM subroutines.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Deductive Systems

Explore deductive systems in theoretical computer science, covering topics like Hilbert's 10th problem, binary trees, propositional logic, and logical equivalence.

• YouTube
• 1 hour 22 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Finite Automata

Explore finite automata and regular languages in theoretical computer science, covering DFAs, computation concepts, and language analysis techniques.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science: Computability

Explore computability theory, Turing machines, and undecidable problems in this theoretical computer science lecture, focusing on fundamental concepts and their implications.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Video

Ryan O'Donnell

Great Ideas in Theoretical Computer Science - On Proofs

Explore theoretical computer science concepts, focusing on proofs: their history, significance, and modern developments. Learn tips for constructing proofs and avoiding common mistakes in mathematical reasoning.

• YouTube
• 1 hour 3 minutes
• On-Demand
• 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
• On-Demand
• Free Video

Simons Institute

The Long Arm of Theoretical Computer Science - The Case of Blockchains-Web3

Explore how theoretical computer science concepts illuminate blockchain technology, offering a clear, comprehensive view of its essence as a public, ownerless computer system.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Devoxx

Algorithms to Live By - The Computer Science of Human Decisions

Explore computer science algorithms applied to everyday decisions, offering insights on time management, decision-making, and problem-solving for a more efficient and fulfilling life.

• YouTube
• 1 hour
• On-Demand
• Conference Talk

GOTO Conferences

How to Use Real Computer Science in Your Day Job

Discover practical applications of advanced computer science concepts in everyday software development, enhancing problem-solving skills and job satisfaction.

• YouTube
• 31 minutes
• On-Demand
• Conference Talk

Simons Institute

Berkeley in the 80s - Silvio Micali Interview on Theoretical Computer Science

Turing Laureate Silvio Micali discusses his groundbreaking research at Berkeley, covering pseudorandomness, multiparty computation, and blockchain technology, while reflecting on the university's influential atmosphere in the 1980s.

• YouTube
• 38 minutes
• On-Demand
• Free Video

IEEE

What Can Theoretical Computer Science Contribute to the Discussion of Consciousness

Explore the intersection of theoretical computer science and consciousness, examining potential insights and contributions to this complex philosophical debate.

• YouTube
• 1 hour 4 minutes
• On-Demand
• Free Video

ICTP Mathematics

Phase Transitions - From Physics to Computer Science

Explore phase transitions across physics and computer science, from water states to combinatorial optimization and information theory, revealing their universal nature in complex systems.

• YouTube
• 1 hour 15 minutes
• On-Demand
• Free Video

JSConf

Can You Read Me? Creative JavaScript to Make Computer Science Fun

Explore creative JavaScript projects for learning computer science concepts through building machines to send secret messages, showcasing remote collaboration and innovative coding techniques.

• YouTube
• 32 minutes
• On-Demand
• Conference Talk

Math Sorcerer

Essential Mathematics for Computer Science

Discover the essential mathematics subjects needed for computer science, from foundational algebra through discrete mathematics, with recommended textbook resources and study paths.

• YouTube
• 23 minutes
• On-Demand
• Free Video