teaching

Operating Systems

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)

Student Project and Thesis Topics (2019/2020)

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.

Computer Networks

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.

CS Bachelor Project and Thesis

.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

Secure and Dependable Systems

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.

Introduction to Computer Science

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)

Operating Systems

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)

Student Project and Thesis Topics (2018/2019)

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.

Computer Science Guided Research (2016)

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)

Computer Science Guided Research (2017)

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)