Fellow Presentations

What Is a (Mathematical) Proof?

Photo by Tony RinaldoPhoto by Tony RinaldoIrit Dinur will study probabilistically checkable proofs and robustness theorems. Such theorems allow one to make local and approximate observations and thus reason about global behavior.