About Module: Introduction to Computer Science (CH-232)
Semester: Fall 2020
Instructor: Jürgen Schönwälder
TA: TBD
Class: Tuesday, 11:15-12:30 (CNLH)
Class: Friday, 08:15-09:30 (CNLH)
Class: Friday, 09:45-11:00 (CNLH)
1st Module Exam: TBD
2nd Module Exam: TBD
Office Hours: Monday, 11:15-12:30 (Research I, Room 87)
Start: 2020-09-xx
Content and Educational Aims The module introduces fundamental concepts and techniques of computer science in a bottom-up manner.
About Module: Operating Systems (CO-562)
Semester: Fall 2020
Instructor: Jürgen Schönwälder
TA: TBD
TA: TBD
Class: TBD
Class: TBD
Class: TBD
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)
Office: Monday, 11:15-12:30 (Research I, Room 87)
Start: 2020-09-xx
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.
.my-table tbody tr:nth-child(odd) { background: #eee; } About Course: Project Computer Science (CA10-320305)
Course: Thesis Computer Science (CA10-320306)
Semester: Fall 2019
Semester: Spring 2020
Instructor: Peter Baumann
Instructor: Andreas Birk
Instructor: Horst Karl Hahn
Instructor: Sergey Kosov
Instructor: Kinga Lipskoch
Instructor: Francesco Maurelli
Instructor: Jürgen Schönwälder
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)
Start: 2019-02-04
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)
Start: 2019-02-05
Content This course introduces formal methods for analyzing and assuring safety and security of software systems.