Joint CyLab and Computer Science Department Theory Seminar

— 1:00pm

Location:
In Person and Virtual Presentation - ET - Mehrabian Collaborative Innovation Center, Room 2101

Speaker:
TIM ROUGHGARDEN, ProfessorDepartment of Computer ScienceColumbia University
http://timroughgarden.org/

The Long Arm of Theoretical Computer Science: A Case Study in Blockchains/Web3

Blockchains that support a general contract layer (e.g., Ethereum) export the functionality of a general-purpose, ownerless, and open-access computer that can enforce property rights for digital data.  How is such functionality implemented?  Using a lot of extremely cool computer science ideas!  And like everywhere else in computer science, theory plays an undeniable role in the understanding and advancement of this technology.  In this talk, I'll highlight three examples (among many):

  • Possibility and impossibility results for permissionless consensus (i.e., implementing an "ownerless" computer).
  • Incentive-compatible transaction fee mechanism design (part of implementing an "open-access" computer).
  • Succinct proofs of computation (for boosting the computer's power by piggybacking on off-chain computation).

Parts of this talk are based on joint work with Andrew Lewis-Pye. 

—

Tim Roughgarden is a Professor of Computer Science at Columbia University. Prior to joining Columbia, he spent 15 years on the computer science faculty at Stanford, following a PhD at Cornell and a postdoc at UC Berkeley. His research interests include the many connections between computer science and economics, as well as the design, analysis, applications, and limitations of algorithms. For his research, he has been awarded the ACM Grace Murray Hopper Award, the Presidential Early Career Award for Scientists and Engineers (PECASE), the Kalai Prize in Computer Science and Game Theory, the Social Choice and Welfare Prize, the Mathematical Programming Society's Tucker Prize, and the EATCS-SIGACT Gödel Prize. He was an invited speaker at the 2006 International Congress of Mathematicians, the Shapley Lecturer at the 2008 World Congress of the Game Theory Society, and a Guggenheim Fellow in 2017. He has written or edited ten books and monographs, including Twenty Lectures on Algorithmic Game Theory (2016), Beyond the Worst-Case Analysis of Algorithms (2020), and the Algorithms Illuminated book series (2017-2020).

Faculty Hosts: Elaine Shi,  Pravesh Kothari Zoom Participation. See announcement.

Event Website:
https://cylab.cmu.edu/events/2022/05/02-seminar-roughgarden.html

For More Information:
jlscanlo@andrew.cmu.edu