Theoretical and Applied Data Science (TADS) Lunch-n-Learn

Thursday, July 19, 2018 - 12:00pm to 1:00pm
Event Type: 

Presenter: Hamid Bagheri

Topic: Expressing and Verifying Probabilistic Assertions,  PLDI'14 paper

Category: