Fractal mystique: The Buddhabrot
A Buddhabrot rendering of
the Mandelbrot set
Image courtesy of Paul Bourke

MathAcrossCampus is a quarterly colloquium series at the University of Washington to showcase applications of mathematics, with a special emphasis on the growing role of discrete methods in math applications. The goal of this seminar is to expose theoreticians to applied work, to create a community of mathematicians and users of mathematics at UW, and to serve as a guide to students and researchers looking for projects and jobs in math-related areas by offering exposure to ongoing math applications in the Seattle area.

Upcoming Public Lecture in the MathAcrossCampus Series

Friday, December 2, 2016

David Shmoys, Cornell University

Most Recent Public Lecture in the MathAcrossCampus Series

Friday, May 20, 2016, 3:30 PM Kane Hall 110, reception to follow at 4:30

Irit Dinur (short biography), The Weizmann Institute of Science

Probabilistically Checkable Proofs: deducing a complicated global picture from very simple partial views

Poster for Irit Dinur's talk

Sometimes you just don't have enough time to read an entire proof, a brief scan is all you can afford. Probabilistically checkable proofs (PCPs), discovered 25 years ago, guarantee that even a brief scan will find an error if there is one. A PCP proof is created by taking a regular proof and splitting it cleverly into fragments. The key is a theorem asserting that locally consistent fragments must be coming from a globally correct proof. We will describe this surprising local-to-global phenomenon and show a variety of implications from computational optimization all the way to secure cloud computing.

Organizers and contact information

The organizers of MathAcrossCampus are Rekha Thomas, Ioana Dumitriu, and Christopher Hoffman.

MathAcrossCampus is also made possible by the efforts of UW Mathematics graduate students Clayton Barnes, Gerandy Brito Montes de Oca, Christopher Fowler, Matthew Junge, Hon Leung Lee, Avi Levy, Harishchandra Ramadas, and Jacob Richey.

The MathAcrossCampus website was designed and created by Nathaniel Blair-Stahn.

Please direct email to [enable JavaScript to view email address, or contact the organizers directly] if you would like us to post an announcement or add a link to your event, or if you have any other questions or comments.


MathAcrossCampus is currently supported by UW's College of Arts and Sciences and the Pacific Institute for the Mathematical Sciences.

Additional support has been provided by: The NSF VIGRE grant at UW; the departments of Applied Mathematics and Economics; the Milliman Fund; and the NSF Research Training Group in Inverse Problems and PDEs.