Grainger College of Engineering, All Events

View Full Calendar

Final Defense of Bolton Bailey

Event Type
Other
Sponsor
Computer Science Academic Office
Virtual
wifi event
Date
May 16, 2024   1:30 pm  
Views
38
Originating Calendar
Computer Science Graduate Calendar

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.

link for robots only