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 Module: Introduction to Computer Science (CH-232)
Semester: Fall 2019
Instructor: Jürgen Schönwälder
TA: Eglis Balani
TA: Romelda Blaceri
TA: Tianyao Chen
TA: Ivan Kabadzhov
TA: Jovan Shandro
Class: Tuesday, 11:15-12:30 (CNLH)
Class: Friday, 08:15-09:30 (CNLH)
Class: Friday, 09:45-11:00 (CNLH)
1st Module Exam: Saturday 2019-12-14 09:00-11:00 (SCC Hall 3+4)
About Course: Operating Systems (CO20-320202)
Semester: Fall 2019
Instructor: Jürgen Schönwälder
TA: Ardit Shala
TA: Irsida Mana
Class: Monday, 08:15-09:30 (R.1-53 Lecture Hall)
Class: Thursday, 09:45-11:00 (R.4-52 Conference Room)
Class: Friday, 13:00-14:00 (R.1-53 Lecture Hall)
Final Exam: Monday, 2019-12-09 09:00-11:00 (SCC Hall 3)
Makeup Exam: Friday, 2020-01-31 17:00-19:00 (East Hall 4)
Below is a collection of ideas for student projects. Some are half-backed, some are not even written down. If you are interested in systems-oriented computer science and computer security, talk to me in person. In general I expect that students have a solid understanding of operating systems and computer networks and that they are able to handle programming tasks well.
Trusted Execution Environments Trusted Execution Environments (TEEs) such as ARM's Trustzone or Intel's Enclave are secure areas inside a main processor.
About Course: Computer Networks (CO20-320301)
Semester: Spring 2019
Instructor: Jürgen Schönwälder
TA: Malte Granderath
TA: Aavash Shrestha
Class: Monday, 09:45-11:00, Lecture Hall Research I
Class: Friday, 09:45-11:00, Lecture Hall Research I
Office: Monday, 11:15-12:30 (Research I, Room 87)
Content The course discusses network protocols in some depth in order to enable students to understand the core issues involved in network protocol design.
.my-table tbody tr:nth-child(odd) { background: #eee; } About Course: Project Computer Science (CA10-320305)
Course: Thesis Computer Science (CA10-320306)
Semester: Fall 2018
Semester: Spring 2019
Instructor: Peter Baumann
Instructor: Andreas Birk
Instructor: Horst Karl Hahn
Instructor: Herbert Jaeger
Instructor: Szymon Krupinski
Instructor: Kinga Lipskoch
Instructor: Francesco Maurelli
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)
Content This course introduces formal methods for analyzing and assuring safety and security of software systems.
About Course: Introduction to Computer Science (CH08-320101)
Semester: Fall 2018
Instructor: Jürgen Schönwälder
TA: Jonas Bayer (Group D)
TA: Marco David (Group E)
TA: Dung Tri Huynh (Group B)
TA: Irsida Mana (Group C)
TA: Abhik Pal (Group A)
Class: Tuesday, 08:15-09:30 (Lecture Hall Research II)
Class: Tuesday, 09:45-11:00 (Lecture Hall Research II)
About Course: Operating Systems (CO20-320202)
Semester: Fall 2018
Instructor: Jürgen Schönwälder
TA: Milen Asenov Vitanov (Group B)
TA: Fanlin Wang (Group A)
Class: Thursday, 15:45-17:00 (Lecture Hall Research II)
Class: Friday, 14:15-15:30 (West Hall 5, Lecture Hall Research III)
Final: Friday, 2018-12-14, 12:30-14:30 (CNLH)
Office: Monday, 11:15-12:30 (Research I, Room 87)
Below is a collection of ideas for student projects. Some are half-backed, some are not even written down. If you are interested in systems-oriented computer science, talk to me in person. In general I expect that students have a solid understanding of operating systems and computer networks and that they are able to handle programming tasks well.
Soundification of Status Information This is a topic for someone interested in computer generated sounds.