15-213/513 lectures are presented by Prof. Brian Railing (bpr), Prof. David Andersen (dga), or Prof. Nathan Beckmann (beckmann) as indicated in the schedule. Bootcamps 5-6 will be presented live by ...

Abstract: Computer science uses abstractions as a tool for reasoning. It is no surprise that computer science might have something valuable to lend to the world of decentralized stablecoin design, as ...