Videos

Start date cannot be after end date.
TDA and the Euler Characteristic Curve Thumbnail

TDA and the Euler Characteristic Curve

Presenter
  • Robert Adler
October 11, 2013
IMA
Lecture 2   Thumbnail

Lecture 2  

Presenter
  • Robert Adler
October 3, 2013
IMA
Probability and Stochastic Processes for Persistent Homologists Thumbnail

Probability and Stochastic Processes for Persistent Homologists

Presenter
  • Robert Adler
October 3, 2013
IMA

Robert Joseph George - Verified Scientific Machine Learning in Lean

September 18, 2026
IPAM

Globally Rigid Tensegrities

Presenter
  • Robert Connelly
July 6, 2026
ICERM

A user's guide to bounding number fields

Presenter
  • Robert Lemke Oliver
June 8, 2026
ICERM

Sheaves for Wildfire Tracking and Semantic Type Checking

Presenter
  • Robert Green
May 21, 2026
ICERM

How to design tools for formalization

Presenter
  • Robert Lewis
May 13, 2026
ICERM

An online, adaptive finite element method for problems in nonsmooth PDE-constrained optimization

Presenter
  • Robert Baraldi
April 17, 2026
ICERM

Quantum Computing and Cellular Phones

Presenter
  • Robert Calderbank
April 11, 2026
ICERM

Fast Mixing MCMC without Gradients

Presenter
  • Robert Scheichl
March 5, 2026
ICERM

The Polar Express: Optimal Matrix Sign Methods and Their Application to the Muon Algorithm

Presenter
  • Robert Gower
February 6, 2026
ICERM