Past Events

233 results

233 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...

Zhengwei Liu (Tsinghua University): Alterfold Theory and Entanglement Entropy

April 8, 2025
|
4:30PM - 5:30PM EDT
|
Jefferson 256 and Zoom
Passcode: 657361 Speaker: Zhengwei Liu Title: Alterfold Theory and Entanglement Entropy Abstract: We will present new insights in alterfold theory to study entanglement entropy. We illustrate these insights by computing the entanglement entropy for...