Monday, April 16, 2018 - 10:00am
3331 CS
Speaker Name:
Jason Breack
Speaker Institution:
UW-Madison
Description:
Title: "Enhancing Algebraic Program Analysis"
Committee: Tom Reps (advisor)
Aws Albarghouthi
Loris D'Antoni
Zachary Kincaid