Randomized Algorithms Meets Formal Verification

Time and Location:

Feb. 17, 2017 at 11:30AM; 60 Fifth Avenue, Room 150

Speaker:

Justin Hsu, University of Pennsylvania