Videos

Start date cannot be after end date.
Proof and Circuit Complexity Thumbnail

Proof and Circuit Complexity

Presenter
  • Robert Robere
October 1, 2019
IAS

Novel Patterns and Dopamine Modulation in a Model of Working Memory

Presenters
  • Robert McDougal
  • Robert McDougal
August 30, 2011
MBI

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