CS 598 MP - Software Verification, Program Synthesis and Machine Learning


aka ``Applications of techniques from software verification, logic, machine learning, and program synthesis to exciting new domains''


Instructor
Madhusudan Parthasarathy (madhu)
Lectures/
Presentations
Tue and Thu, 11:00am-12:15pm
1105 Siebel Center
Office hours
TBD



Announcements

  • Choose a paper to present. Form a team if necessary.