Prelim Examination: Surya Bakshi
December 7, 2022 @ 1:00 PM
CSL 141
Exam Topic: Formalizing Smart-Contract Based Blockchain Protocols
The Grainger College of Engineering
University of Illinois
306 Engineering Hall MC 266
1308 West Green Street
Urbana, IL 61801
engineering@illinois.edu