Search result: Course units in Spring Semester 2018
Computer Science Master | ||||||
Focus Courses | ||||||
Focus Courses in Information Security | ||||||
Focus Elective Courses Information Security | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|---|
263-2925-00L | Program Analysis for System Security and Reliability | W | 5 credits | 2V + 1U + 1A | M. Vechev | |
Seminar in Information Security | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
252-4800-00L | Information & Physics Number of participants limited to 120. Previously called Quantum Information and Cryptography Um das vorhandene Angebot optimal auszunutzen, behält sich das D-INFK vor, Belegungen von Studierenden zu löschen, die sich in mehreren Veranstaltungen dieser Kategorie eingeschrieben haben, bereits die erforderlichen Leistungen in dieser Kategorie erbracht haben oder aus anderen organisatorischen Gründen nicht auf die Belegung der Veranstaltung angewiesen sind. | W | 2 credits | 4S | S. Wolf | |
263-2930-00L | Blockchain Security Seminar Number of participants limited to 26. | W | 2 credits | 2S | M. Vechev, D. Drachsler Cohen, P. Tsankov | |
Focus Courses in Information Systems | ||||||
Focus Core Courses Information Systems | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
263-2925-00L | Program Analysis for System Security and Reliability | W | 5 credits | 2V + 1U + 1A | M. Vechev | |
Focus Elective Courses Information Systems | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
252-0312-00L | Ubiquitous Computing | W | 3 credits | 2V | F. Mattern, S. Mayer | |
252-0355-00L | Object Databases | W | 4 credits | 2V + 1U | A. K. de Spindler | |
252-0807-00L | Information Systems Laboratory Number of participants limited to 12. In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum. | W | 10 credits | 9P | M. Norrie | |
252-3005-00L | Natural Language Understanding | W | 4 credits | 2V + 1U | T. Hofmann, M. Ciaramita | |
Seminar in Information Systems | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
252-3002-00L | Algorithms for Database Systems Limited number of participants. | W | 2 credits | 2S | P. Widmayer, P. Uznanski | |
252-3100-00L | Computer Supported Cooperative Work Number of participants limited to 12. Takes place for the last time. | W | 2 credits | 2S | M. Norrie | |
Focus Courses in Software Engineering | ||||||
Focus Core Courses Software Engineering | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
263-2925-00L | Program Analysis for System Security and Reliability | W | 5 credits | 2V + 1U + 1A | M. Vechev | |
Focus Elective Courses Software Engineering | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
263-2812-00L | Program Verification Number of participants limited to 30. | W | 5 credits | 2V + 1U + 1A | A. J. Summers | |
263-2300-00L | How To Write Fast Numerical Code Does not take place this semester. Number of participants limited to 84. Prerequisite: Master student, solid C programming skills. | W | 6 credits | 3V + 2U | M. Püschel | |
Seminar in Software Engineering | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
263-2100-00L | Research Topics in Software Engineering Number of participants limited to 22. | W | 2 credits | 2S | T. Gross | |
263-2926-00L | Deep Learning for Big Code Number of participants limited to 24. | W | 2 credits | 2S | M. Vechev | |
263-2930-00L | Blockchain Security Seminar Number of participants limited to 26. | W | 2 credits | 2S | M. Vechev, D. Drachsler Cohen, P. Tsankov | |
Focus Courses in Theoretical Computer Science | ||||||
Focus Core Courses Theoretical Computer Science | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
252-0407-00L | Cryptography Foundations | W | 7 credits | 3V + 2U + 1A | U. Maurer | |
261-5110-00L | Optimization for Data Science | W | 8 credits | 3V + 2U + 2A | B. Gärtner, D. Steurer | |
Focus Elective Courses Theoretical Computer Science | ||||||
Number | Title | Type | ECTS | Hours | Lecturers | |
252-0408-00L | Cryptographic Protocols | W | 5 credits | 2V + 2U | M. Hirt, U. Maurer | |
252-1403-00L | Invitation to Quantum Informatics | W | 3 credits | 2V | S. Wolf |
- Page 2 of 6 All