Thesis title: Formalizing Soundness Proofs of SNARKS
Andrew Miller, Chair and Director of Research
Carl Gunter
Grigore Rosu
Talia Ringer
Bryan Parno, Carnegie Mellon University
If you wish to attend via zoom, please email Chair or student for Zoom password prior to exam.
School of Computing and Data Science
Thomas M. Siebel Center for Computer Science201 N. Goodwin Ave. MC-258Urbana, IL 61801
Chicago Office200 South Wacker Drive, Suite 701 Chicago, IL 60606
General email: admin@siebelschool.illinois.edu