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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results