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.