DLS: "Syntax-guided Program Synthesis" Rajeev Alur, UPenn

Dates: 
Friday, November 2, 2018 - 14:30 to 16:00

CS welcomes Rajeev Alur, Zisman Family Professor from the Department of Computer and Information Science at University of Pennsylvania to the department for its Distinguished Lecture Series.

Bio:
https://www.cis.upenn.edu/~alur/home.html

Computed Event Type: 
DLS
Event Title: 
DLS: "Syntax-guided Program Synthesis" Rajeev Alur, UPenn