Past Events

234 results

234 results

William Simon (Tufts): Quantum Advantage in Resource Estimation

June 3, 2026
|
3:00PM - 4:00PM EDT
|
Jefferson 368
Title: Quantum Advantage in Resource Estimation Abstract: When will quantum computers be useful? Resource estimation - the process of determining how many qubits and operations are needed to run an algorithm - is central to answering this question...

Michael Douglas (Harvard): Formalization of QFT

May 6, 2026
|
3:00PM - 4:00PM EDT
|
Jefferson 368
Speaker: Michael Douglas Title: Formalization of QFT Abstract: Interactive theorem proving with the Lean 4 theorem prover, Mathlib and AI coding assistants has recently become a powerful method for checking and developing rigorous mathematical proofs. In...