简介: |
Abstract
This talk will be a very personal overview of proof complexity in the last decade. I will begin by defining the basic notions, and why they are central to complexity theory. I will then give a big-picture summary of the main achievements in proof complexity over the last ten to twenty years.
We will discuss a few of the most important open problems that remain to be solved, and the obstacles that prevent us from making progress. To conclude, I will present concrete short-term goals focused on breaking this barrier.
Bio of the Speaker
Toniann Pitassi has published more than 60 research articles and has given many prestigious lectures including an invited lecture at the 1998 International Congress of Mathematicians. She has held positions at the University of California at San Diego, the University of Pittsburg, the University of Arizona, MIT, the Institute of Advanced Studies and the Fields Institute. She is currently a professor in the Computer Science department at the University of Toronto. |
