About Course: Secure and Dependable Systems (CO21-320203) Semester: Spring 2020 Instructor: Jürgen Schönwälder TA: Dung Tri Huynh TA: Irsida Mana Class: Thursday, 14:15-15:30, R.1-53 Lecture Hall Class: Friday, 11:15-12:30, RLH-274 Seminar Room Office Hours: Monday, 11:15-12:30 (Research I, Room 87) Final Exam: Thursday, 2020-05-28 12:30-14:30 (SCC - Hall 4) Makeup Exam: Monday, 2020-08-31 17:00-19:00 (R.
About Course: Secure and Dependable Systems (CO21-320203) Semester: Spring 2019 Instructor: Jürgen Schönwälder TA: Milen Vitanov TA: Aditya Dandekar Class: Tuesday, 14:15-15:30, Lecture Hall Research I Class: Thursday, 14:15-15:30, East Hall 4 Office: Monday, 11:15-12:30 (Research I, Room 87) Start: 2019-02-05 Content This course introduces formal methods for analyzing and assuring safety and security of software systems.
About Course: Secure and Dependable Systems (CO21-320203) Semester: Spring 2018 Instructor: Jürgen Schönwälder TA: Yufei Liu TA: Orgest Xhelili Class: Monday, 08:15-09:30, Lecture Hall Research I Class: Friday, 09:45-11:00, Conference Room Research IV Start: 2018-02-02 Content This course introduces formal methods for analyzing and assuring safety and security of software systems.