Avi is my first co-author to win the Turing award. Our paper was just one link in a chain of papers, from Nisan-Wigderson to Impagliazzo-Wigderson showing how circuit bounds yield derandomization. Philosophically these results tell us randomness is just computation we cannot predict.
But Avi did so much more. NP has zero-knowledge proofs. Zig-Zag expanders that led to Reingold's SL = L. Monotone circuit lower-bounds using communication complexity. Upper and lower bound for matching. Optimal Extractors. And that's just the tip of the iceberg.
Notably none of these papers are solely authored or even have much overlap in their author lists. Avi shared his wisdom with many, nearly 200 distinct co-authors according to DBLP.
Beyond his research, Avi has been a great advocate for our field, advocating to the NSF as a founding member of the SIGACT Committee for the Advancement for Theoretical Computer Science, and on the Simons Foundation scientific board which led to Simons Fellows and the Simons Institute. Avi wrote a book placing computational complexity as a great mathematical discipline that just also happens to have great applications in so many different fields.
Congrats to Avi and this capstone to an incredible career and individual.
A small correction: Andrew Yao won the Turing Award in 2000, not 2020.
ReplyDeleteThanks. Fixed.
Delete"randomness is just computation we cannot predict" feels deep. Is there elementary ways to put it in English?
ReplyDeleteI did a blog post on this topic.
Deletevery well deserved, and congratulations to theory community.
ReplyDeleteAvi has been a pillar of our field in addition to be an very pleasant person to interact with.
I used to think he already won it (I do not know why I presumed it).
ReplyDeleteLeslie Valiant doesn't qualify as a complexity theorist?
ReplyDeleteValiant certainly did some complexity, but he's better known for his learning theory. Valid point though.
DeleteValiant is on record to state his belief #P is in FNC^2.
Delete