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.
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.
Guided Research Timeline Introduction 2015-09-14 (Monday) Topic selection 2015-10-01 (Thursday) Proposal submission 2015-12-04 (Friday) (Proposal submission 1) 2016-03-06 (Sunday) Thesis submission 2016-05-08 (Sunday) Presentations 2016-05-13 (Friday) Guided Research Materials BSc Template (LaTeX)
BSc Template (BibTeX)
BSc Logo (pdf)
BSc Template (pdf)
Guided Research Timeline Introduction 2016-09-05 (Monday) Topic selection 2016-10-01 (Saturday) Proposal submission 2016-12-07 (Wednesday) (Proposal submission 1) 2017-03-10 (Friday) Thesis submission 2017-05-12 (Friday) Presentations 2017-05-15 (Monday) Presentations 2017-05-16 (Tuesday) Guided Research Materials Guided Research Computer Science (Introduction)
Large-Scale Information Services (Peter Baumann)
Machine Learning (Herbert Jaeger)