Hamid Bagheri, 'Expressing and Verifying Probabilistic Assertions', TADS Lunch-n-Learn

Thursday, July 19, 2018 - 12:00pm to 1:00pm
Event Type: 
Lunch-n-Learn
Location: 
216 Atanasoff Hall

Presenter: Hamid Bagheri

Expressing and Verifying Probabilistic Assertions,  PLDI'14 paper

Category: 
Data Science
Tags: 
data science