INSAIT Institute Courses

From Space to Safety with AI

Discover how AI transforms satellite data into safety solutions through geospatial applications and foundation models in this expert symposium presentation.

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

Rethinking Space Science with Physics-Inspired Foundation Models

Discover how physics-inspired foundation models are revolutionizing space science research and applications in this MIT expert's presentation.

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

GeoLab - From Switzerland to Space and Back

Discover how GeoLab bridges terrestrial and space-based geospatial research through innovative AI applications and foundation models in this expert symposium presentation.

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

Agentic Reasoning Models for Earth Observation

Discover how agentic reasoning models revolutionize Earth observation through advanced AI techniques and geospatial applications in this comprehensive symposium presentation.

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

Advancing Geospatial AI for Real-World Challenges

Discover how geospatial AI tackles real-world challenges through cutting-edge research and practical applications in this expert symposium presentation.

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

A Meteor of Smarties

Discover how Prof. Devis Tuia from EPFL explores innovative geospatial AI applications and foundation models in this engaging 30-minute symposium presentation.

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

Earth Observation with Temporal and Reasoning Large Multimodal Models

Explore how large multimodal models revolutionize Earth observation through temporal analysis and advanced reasoning capabilities for geospatial applications.

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

On the Path of Foundation Models for Earth Observation - Progress, Bottlenecks, and Possibilities

Explore foundation models for Earth Observation, examining current progress, key challenges, and future opportunities in geospatial AI applications.

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

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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video