INSAIT Institute Courses

AI Safety and Robustness: Recent Advances and Future Directions

Explore recent advances in AI safety and robustness, focusing on preventing adversarial attacks on large language models and ensuring safer AI systems.

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

Lessons from Texas, COVID-19 and the 737 Max - Efficiency vs Resilience

Explore lessons from recent crises on balancing efficiency and resilience in computer science and economics. Gain insights into the importance of prioritizing resilience over efficiency.

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

NLP for More Realistic Fact-Checking

Explore cutting-edge NLP approaches for realistic fact-checking, addressing misinformation challenges and bridging the gap between research and real-world requirements in automated fact-checking.

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

Self-Adjusting Data Structures - Designing for Efficient Operation Sequences

Explore self-adjusting data structures with Prof. Robert Tarjan. Learn about adaptive designs that optimize total operational costs, enhancing efficiency in various computational scenarios.

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

Programming the Machines of Tomorrow Today - Legion Programming Model

Explore Legion, a programming model for hierarchical data and computation organization, and its applications in high-productivity libraries for complex machines.

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

Effects and Resources: New Frontiers for Safe and Expressive Programming Languages

Explore effect typing and object capabilities in programming languages. Gain insights into new approaches for safe, expressive, and composable control effects using Caprese and Scala extensions.

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

Robbing the Bank with Automated Reasoning - Using Formal Methods for EMV Payment Protocol Security

Uncover critical vulnerabilities in EMV payment protocols using automated reasoning. Learn how formal methods can expose security flaws in widely-used smartcard payment systems.

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

Generative AI for Code and Beyond

Explore the cutting-edge developments in Generative AI for code and beyond in this insightful talk by Prof. Eran Yahav, part of the INSAIT Tech Series. Delve into the inner workings of generative models and their potential to revolutionize software engin…

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

Neurosymbolic Programming - An Emerging Subarea of AI

Explore neurosymbolic programming's fusion of deep learning and program synthesis, discovering how it enhances AI robustness, interpretability, and efficiency through symbolic and neural approaches.

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

AI Will Program Itself: Synthesis, Learning and Beyond

Explore how AI and program synthesis combine to revolutionize software development, enabling more reliable and introspective systems through code-based knowledge representation.

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

Geometric Deep Learning

Dive into geometric deep learning principles and advanced mathematical concepts with Prof. Michael Bronstein's comprehensive exploration of this cutting-edge field in artificial intelligence.

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

Intelligent Architectures for Intelligent Machines - Data-Centric Computing Systems

Explore modern computing architecture challenges and innovative solutions for data-centric design, focusing on machine learning acceleration, in-memory operations, and 3D-stacked memory technology.

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

Exposure Notifications Private Analytics System - Design and Implementation

Discover how the Exposure Notifications Private Analytics system enables health authorities to gather crucial epidemiological metrics while maintaining privacy and data protection standards.

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

How to Randomly Test Programs and Why Random Tests Are Good

Discover effective random testing techniques for distributed systems, exploring combinatorial insights, probabilistic methods, and fuzzing strategies for ensuring program reliability.

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

Security of Radio-Based Positioning Systems - GNSS, 5G, and UWB

Explore security challenges and solutions for positioning systems like GNSS, 5G, and UWB, focusing on physical-layer attacks, protective measures, and emerging standards in automotive and smartphone applications.

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