Videos

Start date cannot be after end date.
Eilenberg-Mac Lane Spaces in HoTT Thumbnail

Eilenberg-Mac Lane Spaces in HoTT

Presenter
  • Daniel Licata
March 13, 2013
IAS
Toward a Computational Interpretation of Univalence Thumbnail

Toward a Computational Interpretation of Univalence

Presenter
  • Daniel Licata
October 18, 2012
IAS
Computing with Univalence  Thumbnail

Computing with Univalence

Presenter
  • Daniel Licata
September 28, 2012
IAS

Randomized methods for joint eigenvalue problems

Presenter
  • Daniel Kressner
February 4, 2026
ICERM

Randomized Householder-Cholesky QR Factorization with Multisketching

Presenter
  • Daniel Szyld
February 3, 2026
ICERM
Discrepancy Theory is Mathematics, Computer Science, and Statistics Thumbnail

Discrepancy Theory is Mathematics, Computer Science, and Statistics

Presenter
  • Daniel Spielman
January 28, 2026
IAS
Reduced-order models informed by observations and simulated data Thumbnail

Reduced-order models informed by observations and simulated data

Presenter
  • Daniel Tartakovsky
November 10, 2025
IMSI
From Morse Homology to Symplectic Weyl Laws Thumbnail

From Morse Homology to Symplectic Weyl Laws

Presenter
  • Daniel Cristofaro-Gardiner
November 7, 2025
IAS
p-Curvature and Non-Abelian Cohomology Thumbnail

p-Curvature and Non-Abelian Cohomology

Presenter
  • Daniel Litt
October 13, 2025
IAS