MENU 
Faculty Seminar
Program Synthesis: Applications and Techniques
Xinyu WangAssistant ProfessorUniversity of Michigan
WHERE:
Remote/Virtual
WHEN:
Thursday, October 22, 2020 @ 11:00 am - 12:00 pm
This event is free and open to the publicAdd to Google Calendar
This event is free and open to the publicAdd to Google Calendar
WEB: Event Website
SHARE:
Title: Program Synthesis: Applications and Techniques
Abstract: Program synthesis aims to achieve the goal of “automated programming”: it automatically turns the high-level specification into a program. In this talk, I will talk about some of my works on applications and techniques of program synthesis, as well as how one motivates/enables the other.
Bio: Xinyu Wang has been an assistant professor in CSE since September 2020. He was a researcher at Microsoft and obtained his PhD from the University of Texas at Austin in 2019.