Computability Courses and Certifications

Translating Research to Communities

Explore population health research, ethical data science, and community engagement in translating discoveries to practice. Learn about computational models, crisis response, and implementation science.

• Coursera
• 6 hours 51 minutes
• Self-Paced
• Paid Course

NPTEL;  IIT Kanpur

Theory of Computation

6 ratings

Explore finite automata, regular languages, context-free grammars, and Turing machines. Learn about computational models, their properties, and fundamental concepts in theoretical computer science.

• YouTube
• 1 day 15 hours
• Self-Paced
• Free Video

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
• Self-Paced
• Paid Course

Stanford Seminar - Secure Data Science on the Internet of Things

4 ratings

Learn about why it is important to secure the Internet Of Things(IoT) and its importance to Data Science

• YouTube
• 55 minutes
• Self-Paced
• Free Online Course

Theory of Computation : Become a master of DFA

328 ratings at Udemy

Master Deterministic Finite Automata of Theory of Computation as Theory of Computation forms core of computer science

• Udemy
• 7 hours 43 minutes
• Self-Paced
• Paid Course

Formal Languages and Automata Theory

242 ratings at Udemy

Introduction to Automata Theory, Languages and Computation

• Udemy
• 1 day 13 hours 5 minutes
• Self-Paced
• Paid Course

IIT Kanpur;  NPTEL

Theory of Computation

2 ratings

Explore finite automata, regular expressions, context-free grammars, Turing machines, and complexity theory. Develop analytical skills in computational models and language classes.

• Swayam
• 8 weeks
• Available until Sep 11, 2026
• Free Online Course

Hausdorff Center for Mathematics

Natural Homology Computability and Eilenberg Steenrod Axioms

Explore natural homology computability and Eilenberg Steenrod axioms in this advanced mathematics lecture, delving into applied and computational algebraic topology concepts.

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

Joint Mathematics Meetings

Understanding Frameworks for Priority Arguments in Computability Theory

Explore frameworks for priority arguments in computability theory, focusing on partial computability, Turing reducibility, and infinite injury methods in mathematical logic.

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

Churchill CompSci Talks

The Asynchronous Computability Theorem - Distributed Systems and Algebraic Topology

Explore the connection between distributed systems protocols and algebraic topology, proving consensus impossibility in asynchronous wait-free models through combinatorial structures.

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

Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

Some Reducibilities in Computability Theory

Explore recent results on reducibilities and degree structures in computability theory, covering interactions with classical computability, constructive mathematics, and reverse mathematics.

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

BIMSA

On Computability over Finite Types

Explore rigorous definitions of computable functions over finite types, extending Gödel's finitary mathematics concepts to prove consistency of classical number theory.

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

Hausdorff Center for Mathematics

Computability Questions About Infinite Galois Groups

Explore computability theory applied to infinite Galois groups through tree representations, examining decidability properties and complexity differences between finite fields and ℚ.

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

BIMSA

On Computability over Finite Types

Explore rigorous definitions of computable functions over finite types, extending Gödel's finitary mathematics concepts and comparing them with classical computability theory.

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

Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

Computability Theoretic Aspects of Big Ramsey Degrees

Explore computability theory's intersection with big Ramsey degrees through advanced mathematical analysis and theoretical frameworks.

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