Videos

Start date cannot be after end date.
Cython: the best of both worlds Thumbnail

Cython: the best of both worlds

Presenter
  • Robert Bradshaw
June 25, 2010
SLMath
Loosely Dependent Parallel Processes Thumbnail

Loosely Dependent Parallel Processes

Presenter
  • Robert Bradshaw
January 31, 2007
SLMath

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

Quantum Computing and Cellular Phones

Presenter
  • Robert Calderbank
April 11, 2026
ICERM

Fast Mixing MCMC without Gradients

Presenter
  • Robert Scheichl
March 5, 2026
ICERM
Affine Schubert Varieties Are Splinters Thumbnail

Affine Schubert Varieties Are Splinters

Presenter
  • Robert Cass
December 15, 2025
IAS