Funny coincidence, our (Carnegie Mellon's) IT department recently re-encoded lectures by John Reynolds on Separation Logic, you can view the entire course here:

Funny coincidence, our (Carnegie Mellon's) IT department recently re-encoded lectures by John Reynolds on Separation Logic, you can view the entire course here: https://scs.hosted.panopto.com/Panopto/Pages/Sessions/List.aspx#folderID=%22e8c02c45-0f9f-471c-86be-5f1206a3a783%22 https://scs.hosted.panopto.com/Panopto/Pages/Sessions/List.a... This special topics course was held shortly before John Reynolds passed away. (If you're bored, you can also see other things we have hosted on the same platform, including Deep Reinforcement Learning, Intro to ML, and the Computer Science Department holiday party :)