Documentation

UW Connect

Aditya Thakur: From Machine-Code Verification to Satisfiability Modulo Abstraction

Room: 
3310 Computer Sciences
Speaker Name: 
Aditya Thakur
Speaker Institution: 
Uw-Madison
Cookies: 
No

Committee:
Tom Reps (advisor)
Somesh Jhaa
Ken McMIllan
Mooly Sagiv

Event Date:
Thursday, April 25, 2013 - 10:00am - 12:00pm (ended)