Formal Methods
by Various · Various
Formal methods offer rigorous techniques for reasoning about systems, while, more recently, data-driven approaches based on machine learning have become popular. The two techniques are complementary, and this talk explores ways in which thay have been combined together.
More resources on Theory of Computation
NFA to DFA Converter
Interactive tool for practice
Tutorialspoint Automata Theory
Comprehensive free tutorials
GeeksforGeeks TOC Tutorials
Free notes and examples, top Reddit rec
Out of Context: A Course on Computer Systems That Adapt To, and Learn From, Context
Explore context-aware computing! Prof. Lieberman's course delves into theory-of-computation for adaptive computer systems.
Quantum Information Science
Learn quantum computation theory from MIT's Profs. Chuang & Shor. Explore the fascinating intersection of quantum mechanics and information science.
Quantum Information Science II
Explore advanced quantum computation theory with MIT's Quantum Information Science II course by Chuang & Harrow! Dive into cutting-edge concepts.