CS 598MP (Fall 2021)

Software Verification, Program Synthesis, and Interpretable AI

Lecture Videos/Slides

 

• Lecture #1 (Aug 23) Slides
  

• Lecture #2 (Aug 25) Video
  

• Lecture #3 (Aug 30) Video
  

• Lecture #4 (Sep 1) Video
  

• Lecture #5 (Sep 6) Video unavailable
  

• Lecture #6 (Sep 8) Video
  

• Lecture #7 (Sep 13) Video
  

• Lecture #8 (Sep 15) Video
  

• Lecture #9 (Sep 20) Video
  

• Lecture #10 (Sep 22) Video
  

• Lecture #11 (Sep 27) Video
  

• Logic in CS (updated with Chapter 8; read this chapter): Link