Alan Turing Institute Courses

Finding More Needles by Building Bigger Haystacks - Dr. Jacob Eisenstein

Exploring large-scale text data for social and cultural insights, focusing on rare linguistic events, language change dynamics, and online hate speech detection using innovative computational methods.

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

Ground Truth - The Uses and Abuses of Human Annotation in Text Analysis - Professor Kenneth Benoit

Explores the concept of "ground truth" in text analysis, discussing annotation methods, intercoder agreement, and comparing expert vs. crowd-sourced coding for social science research.

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

Simulation - The Challenge for Data Science

Exploring the fusion of simulation models and machine learning for policy analysis, addressing challenges in parameter estimation and initialization for complex systems forecasting.

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

Exploring the Cosmos with Deep Learning

Explore how deep learning revolutionizes cosmology, from detecting gravitational lenses to generating galaxy images and modeling cosmic structures, addressing challenges in modern astronomical surveys.

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

Introduction to Data Ethics - Brent Mittelstadt

Explore data ethics with Dr. Mittelstadt, covering algorithmic fairness, accountability, transparency, and privacy. Learn about ethical challenges in AI and data analytics, with real-world examples and regulatory insights.

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

I’ll Be Watching You- Policing the Line Between Personalization and Privacy

Exploring the balance between personalized technology benefits and user privacy concerns, focusing on consent, data usage, and ethical considerations in algorithmic personalization.

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

Best Practice From Julia - Impact Through Efficient Research Code

Explore Julia's impact on efficient research code, from self-driving cars to astronomy. Learn about cutting-edge tools for mathematical modeling and machine learning in various fields.

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

Alan Turing and the Other Theory of Computing and Can a Machine Be Conscious?

Explore Turing's lesser-known 1948 paper on numerical computation and its impact on complexity theory. Discover how it unifies two major traditions in computational theory.

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

At-Scale Formal Verification for Industrial Semiconductor Designs - Professor Tom Melham

Explore formal verification techniques for complex semiconductor designs, focusing on symbolic trajectory evaluation and symmetry exploitation to enhance microprocessor reliability and efficiency.

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

Secure Computation with RAMs - Dr. Mariana Raykova, Yale University

Explore secure computation techniques for protecting private data, including ORAM constructions and encrypted search schemes. Learn about cryptographic advancements for efficient and privacy-preserving data processing.

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

Negativity and Semantic Change - Will Hamilton, Stanford University

Explore dynamic word embeddings to test semantic instability in negative vs. positive language, with implications for sentiment analysis tools and linguistic evolution.

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

Modal Analysis from Random and Compressed Samples

Explores modal analysis techniques for structural health monitoring, focusing on efficient sampling and compression strategies in wireless sensor networks to minimize power consumption.

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

Invariant Synthesis for Linear Dynamical Systems - Pierre Ohlmann, ENS de Lyon

Explore linear dynamical systems, the Orbit Problem, and invariant synthesis. Learn about semialgebraic and semilinear invariants, Jordan blocks, and related concepts in computational mathematics.

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

Continuity and Rational Functions - Michaël Cadilhac, University of Oxford

Explore continuity in word-to-word functions and its connection to language classes. Delve into transducers and their role in computing continuous functions, with applications in automata theory.

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

Turing Lecture - Algorithmic Accountability - Professor Ben Shneiderman, University of Maryland

Exploring algorithmic accountability and human-centered oversight for safer AI systems. Emphasizes comprehensible, predictable, and controllable designs to prevent failures and improve safety in critical services.

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