Alan Turing Institute Courses

Privacy-Preserving Information Sharing - Tools and Applications

Explore privacy-preserving techniques for secure information sharing, including two-party computation, private set intersection, and authorized PSI, with applications in collaborative anomaly detection.

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

Solving Private Set Intersection via Cuckoo Hashing - Benny Pinkas, Bar-Ilan University, Israel

Explore private set intersection protocols, including custom and generic MPC approaches, with a focus on Cuckoo hashing for efficient computation of PSI variants in cryptography and security.

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

Software Engineering for Research - Dr. James Hetherington, Turing

Learn key aspects of research software engineering, including testing, version control, documentation, and continuous integration. Improve code quality, readability, and reproducibility for scientific computing projects.

• YouTube
• 2 hours 30 minutes
• Self-Paced
• Free Video

Making Machines That See - Geometry, Uncertainty and Deep Learning

Explore computer vision advancements, from 3D object reconstruction to real-time deep learning systems incorporating geometry and uncertainty, with applications in robotics and mobile technology.

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

Artificial Intelligence per Kilowatt-Hour - Max Welling, University of Amsterdam

Explore cutting-edge AI efficiency: compressing neural nets, low-precision computing, and spiking networks to maximize intelligence per kilowatt-hour as AI moves to edge devices.

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

Language Learning in Humans and Machines - Making Connections to Make Progress

Exploring connections between human and machine language learning to develop better computational methods for understanding and processing diverse languages.

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

Counterfactual Fairness

Explore causal inference tools for modeling fairness in machine learning, addressing bias and ensuring equitable decisions across demographic groups.

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

Machine Learning and Data Science for Medicine - A Vision, Some Progress and Opportunities

Explore machine learning and data science applications in medicine, focusing on AutoPrognosis - an automated system for creating tailored, interpretable, and accurate prognostic models for various diseases.

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

Steps Toward Robust Artificial Intelligence - Thomas G Dietterich, Oregon State University

Explore methods for developing robust AI systems capable of handling known and unknown threats in high-stakes applications, including probabilistic inference, anomaly detection, and causal modeling.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Optimisation - An Introduction: Professor Coralia Cartis, University of Oxford

Explore optimization techniques, from basic concepts to advanced methods, covering minimizers, derivatives, quadratic functions, and gradient methods for solving complex mathematical problems.

• YouTube
• 2 hours 31 minutes
• Self-Paced
• Free Video

Systems and Security - Advanced

Explore advanced system architectures, performance optimization, and security concerns in layered systems. Learn debugging techniques and architectural strategies for addressing bottlenecks and vulnerabilities.

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

Poisson Random Fields for Dynamic Feature Models

Explore dynamic feature allocation models using Poisson random fields. Learn about the Wright-Fisher Indian Buffet Process and its application to topic modeling for time-stamped documents, with a focus on NIPS papers.

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

Learning Automata with Hankel Matrices - Borja Balle, Amazon Research Cambridge

Explore a unified framework for learning automata using Hankel matrices, covering query learning, spectral learning, and matrix completion algorithms with practical applications.

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

Learning Logically Defined Hypotheses - Martin Grohe, RWTH Aachen University

Explore a declarative framework for machine learning using logic-defined hypotheses, discussing learnability results for various logics over strings, trees, and graphs.

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

Formal Verification and Learning of Complex Systems - Professor Alessandro Abate

Exploring formal verification techniques for complex systems, combining model-based and data-driven methods to address scalability issues and provide system-level assertions in Cyber-Physical Systems.

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