Theoretical Computer Science Courses and Certifications

Instituto de Matemática Pura e Aplicada

Mestrado: Computação, Lógica e Teoria dos Conjuntos - Aula 01

Explore fundamentos de computação, lógica e teoria dos conjuntos em aula de mestrado. Aborde linguagens formais, máquinas de registro, decidibilidade, complexidade algorítmica e lógica de primeira ordem.

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

École normale supérieure

Approximation Algorithms Part II

46 ratings at Coursera

Explore advanced approximation algorithms using linear programming duality and semidefinite programming for combinatorial optimization problems like Steiner forest, facility location, and maximum cut.

• Coursera
• 1 day 11 hours 30 minutes
• On-Demand
• Paid Course

Birla Institute Of Technology And Science–Pilani (BITS–Pilani)

Formal Languages and Applications

Explore formal language theory, automata, and parsing algorithms to build lexical analyzers and language recognition systems for compilers and NLP applications.

• Coursera
• 2 days 13 hours 30 minutes
• On-Demand
• Paid Course

Theory of Computation

Explore computability and complexity theory, covering languages, decidability, reducibility, computational measures, completeness, hierarchies, oracles, probabilistic computation, and interactive proof systems.

• MIT OpenCourseWare
• On-Demand
• Free Online Course

Centre International de Rencontres Mathématiques

String Attractors of Rote Sequences

Explore string attractors of Rote sequences in combinatorics on words, delving into mathematical concepts and their applications.

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

Coding Train

Context-Free Grammar - Programming with Text - Session 7

Explore context-free grammar techniques using Tracery and RiTa.js to generate dynamic text and create fractal tree visualizations through recursive programming methods.

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

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

Simons Institute

Homomorphism Indistinguishability - Graph Learning and Theoretical Computer Science

Explore the theoretical foundations of homomorphism indistinguishability and its applications in graph learning, quantum information, and computational complexity analysis.

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

Computation in Complex Systems

Explore computational complexity from polynomial-time algorithms to NP-complete problems and undecidable challenges, bridging computer science with physics and biology applications.

• Complexity Explorer
• On-Demand
• Free Online Course

GOTO Conferences

Computer Science - A Guide for the Perplexed

Explore computer science through the lens of real-world problems, bridging the gap between academic theory and practical applications. Gain insights from Erlang's inventor on solving user challenges.

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

Sundeep Saradhi Kanthety

Chomsky Normal Form and Conversion of CFG to CNF in Automata Theory

Learn to convert Context-Free Grammars to Chomsky Normal Form, a standardized format for simplifying and analyzing grammars in automata theory. Understand the steps and rules for this important transformation.

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

Simons Institute

Black Holes and the Quantum-Extended Church-Turing Thesis - Quantum Colloquium

Explore black holes' impact on quantum computing, featuring insights from renowned physicists on horizon properties, information extraction, and the quantum-extended Church-Turing thesis.

• YouTube
• 2 hours 7 minutes
• On-Demand
• Free Video

Simons Institute

Classical Verification of Quantum Computations

Explore verification methods for quantum computations, including interactive proofs, post-quantum cryptography, and measurement protocols, with insights on challenges and potential solutions.

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

David Shapiro ~ AI

Predictions About Artificial Super Intelligence - Theoretical Limits and Capabilities

Explore theoretical limits and cutting-edge capabilities in AI, quantum computing, and more. Delve into concepts like the Landauer Limit, universal computation, and optimal intelligence to understand the future of machine cognition.

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

Yannic Kilcher

On the Theoretical Limitations of Embedding-Based Retrieval

Explore theoretical limits of vector embeddings in retrieval tasks through analysis of a research paper showing fundamental dimensional constraints even with simple queries.

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