CS 598MP - Software Verification, Program Synthesis, and Interpretable AI (Fall 2021)


Madhusudan Parthasarathy (madhu)
Mon and Wed, 9:30am-10:45am
Online zoom link
Office hours

Course Topics

This topics course will be on the intersection of software verification, program synthesis, and interpretable machine-learning.
After a quick introduction to verifying software using mostly logic-based techniques and abstraction, we will use this as a basis to explore program synthesis and machine-learning of interpretable concepts.
The topics on program synthesis and interpretable machine learning will include:


The course will involve (a) reading and discussing papers, (b) presenting papers in this emerging area, and (b) working on projects, possibly in groups, where the goal is to have each project at the level of publication in a reasonably prominent conference.