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) 1st Module Exam: TBD 2nd Module Exam: TBD Start: 2020-02-06 Content This course introduces formal methods for analyzing and assuring safety and security of software systems.
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 Instructor: Peter Zaspel Prerequisites: Two CS core modules passed Deadlines Project and Bachelor Thesis Timeline Project topic/supervisor selection (campus track) 2019-09-20 (Friday) Project topic/supervisor selection (world track) 2020-02-03 (Monday) Project and thesis kickoff meeting 2020-02-10 (Monday) Presentations 2020-05-11 (Monday) Presentations 2020-05-12 (Tuesday) Bachelor thesis submission 2020-05-15 (Friday) Timeline We expect that our students take the initiative and drive the process.
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) 2nd Module Exam: Saturday 2020-01-25 08:00-10:00 (ICC East Wing) Office: Monday, 11:15-12:30 (Research I, Room 87) Start: 2019-09-03 Content and Educational Aims The module introduces fundamental concepts and techniques of computer science in a bottom-up manner.
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 (R1.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) Office: Monday, 11:15-12:30 (Research I, Room 87) Start: 2019-09-05 Content This course provides an introduction to the concepts underlying operating systems.
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.
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 Instructor: Jürgen Schönwälder Prerequisites: Two CS core modules passed Timeline Project and Bachelor Thesis Timeline Project topic/supervisor selection (campus track) 2018-09-21 (Friday) Project topic/supervisor selection (world track) 2019-02-04 (Monday) Presentations 2019-05-13 (Monday) Presentations 2019-05-14 (Tuesday) Bachelor thesis submission 2019-05-17 (Friday) Materials Doing research in computer science usually starts with a lot of reading and learning.
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) Class: Thursday, 11:15-12:30 (Lecture Hall Research II) Midterm: Tuesday, 2018-10-30, 08:15-09:30 (Campus Center, east wing and west wing) Final: Thursday, 2018-12-20, 16:00-18:00 (SCC Hall 3+4) Office: Monday, 11:15-12:30 (Research I, Room 87) Start: 2018-09-04 Content The course covers the fundamental concepts and techniques of computer science in a bottom-up manner.
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) Start: 2018-09-06 Content This course provides an introduction to the concepts underlying operating systems.