Automata Theory Courses and Certifications

Simons Institute

On Partial-Order and Automata Techniques for Analyzing Communication

Explores verification and synthesis techniques for peer-to-peer and mailbox communication in concurrent programming, focusing on message-passing models and their applications in distributed systems.

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

Centre International de Rencontres Mathématiques

An Introduction to Walnut - Lecture 2

Explore Walnut, a tool for automata-based proofs in number theory and combinatorics. Delve into advanced techniques and applications in this comprehensive mathematical lecture.

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

Centre International de Rencontres Mathématiques

An Introduction to Walnut - Lecture 1

Explore Walnut, a tool for automata-based decision procedures in number theory and combinatorics on words. Learn its applications and fundamental concepts.

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

Hausdorff Center for Mathematics

Challenges in Formalising Recent Results in Formal Language Theory

Explore challenges in formalizing recent results linking formal language theory and computational group theory, with insights on making proofs more amenable to formalization.

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

ACM SIGPLAN

On Learning Polynomial Recursive Programs

Explore P-finite automata, a generalization of weighted automata with polynomial transition weights. Learn about their polynomial-time learnability in Angluin's MAT exact learning model.

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

ACM SIGPLAN

Parikh's Theorem Made Symbolic - POPL'24

Explore Parikh's Theorem for symbolic automata, learning efficient algorithms for handling large or infinite alphabets in language processing and constraint solving.

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

ACM SIGPLAN

Visualizing Why Nondeterministic Finite-State Automata Reject

Explore visual techniques for understanding rejection in nondeterministic finite-state automata, enhancing comprehension of complex computational concepts.

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

ACM SIGPLAN

Complete Multiparty Session Type Projection with Automata - ST30

Explore efficient multiparty session type projection using automata. Learn sound, complete, and efficient techniques for verifying asynchronous communication protocols.

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

Center for Language & Speech Processing(CLSP), JHU

Weighted Finite State Automata and Linear Algebra - JSALT 2023 Team Presentation

Explore weighted finite state automata and linear algebra in speech and language processing through a comprehensive JSALT 2023 team presentation by Lucas Ondel Yang.

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

What is “the mind” and what is artificial intelligence?

143 ratings at Coursera

In this course, we will explore the history of cognitive science and the way these ideas shape how we think of artificial cognition.

• Coursera
• 7 hours 40 minutes
• On-Demand
• Free Online Course (Audit)

System Validation (3): Requirements by modal formulas

13 ratings at Coursera

Aprenda a especificar requisitos formais para sistemas usando lógica modal e fórmulas fixas, permitindo análise automatizada e garantia de comportamento correto em sistemas embarcados.

• Coursera
• 3 hours 56 minutes
• On-Demand
• Free Online Course (Audit)

NPTEL;  IIT Kanpur

Theory of Computation

4 reviews

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
• On-Demand
• Free Video

IIT Kharagpur;  NPTEL

Introduction to Automata, Languages and Computation

Automata, Languages and Computation have been an important part of the curriculum in computer science department for several decades.The automata theory is the study of abstract machines and theirapplication in solving computational problems

• Swayam
• 12 weeks
• Finished
• Free Online Course

Discover AI

Understanding AI State Machines, State Agents, and State Spaces

Explore fundamental AI concepts including state machines, agent states, and state spaces in modern language models, with clear explanations of their interconnections and applications.

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

Centre for Networked Intelligence, IISc

A Computational Theory of Graphical Dynamical Systems with Applications to Socio-Technical Networks

Explore the computational theory of Graphical Dynamical Systems and their practical applications in modeling complex socio-technical networks and distributed systems.

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