Wednesday, March 15, 2023 11am to 1pm
About this Event
Dissertation Title: Formally Verified Samplers from Discrete Probabilistic Programs
Dissertation Advisor: Dr. David Juedes
Department: Electrical Engineering and Computer Science
Date: Wednesday, March 15, 2023
Time: 11:00am-1:00pm
Location: Stocker Center, Room 326
1 person is interested in this event
User Activity
No recent activity