About Course: Secure and Dependable Systems (CO-566)
Semester: Spring 2021
Instructor: Jürgen Schönwälder
TA: Raja Abdur Rafey
Class: Tuesday, 15:45-17:00, R.3-51 Lecture Hall (Research III)
Class: Wednesday, 14:15-15:30, RLH-172 Conrad Naber Lecture Hall
Office Hours: Monday, 11:15-12:30, R.1-87 Lecture Hall (Research I)
1st Module Exam: Tuesday, 2021-05-18, 16:00-18:00 (ICC Conference Hall)
2nd Module Exam: Tuesday, 2021-08-24, 14:00-16:00 (TBD)
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.