Lectures recorded by Chris Welch and Sasha Galitsky.
Meet the team
Presenters: Heejin Ahn, Changhyun Choi, Javier Alonso-Mora, Michael "Misha" Novitzky, Luca Carlone, John Leonard
Software testing
This lecture is not ready for publishing yet; files are missing, or the videos are not edited.
Presenters: steiner
(Video not available yet.)
Advanced Safety and Formal Methods
Presenters: Heejin Ahn, Daniel Hoehener
(Video not available yet.)
Lectures recorded by Chris Welch and Sasha Galitsky.