Computational Complexity Courses
Instituto de Física Interdisciplinar y Sistemas Complejos (IFISC) via YouTube Quantum Program Analysis: Verification and Testing
ACM SIGPLAN via YouTube Polynomial-time Classical Simulation of Roetteler's Shifted Bent Function Algorithm
ACM SIGPLAN via YouTube Efficient Matching of Regular Expressions with Lookaround Assertions
ACM SIGPLAN via YouTube Program Analysis for Adaptive Data Analysis
ACM SIGPLAN via YouTube Efficient CHAD - Optimizing Combinatory Homomorphic Automatic Differentiation
ACM SIGPLAN via YouTube Validation of Modern JSON Schema: Formalization and Complexity
ACM SIGPLAN via YouTube Wisening Assertions: A Live Bayesian Reasoning System for Probabilistic Correctness
ACM SIGPLAN via YouTube Subgroup Tests and Tailored Non-local Games - Lecture on Interactive Proof Systems
Institute for Advanced Study via YouTube Combinatorial Inequalities and Combinatorial Interpretations - Part I
Institute for Advanced Study via YouTube