Autumn Semester 2020 takes place in a mixed form of online and classroom teaching.
Please read the published information on the individual courses carefully.

Search result: Course units in Spring Semester 2019

Computer Science Master Information
Focus Courses
Focus Courses in Information Security
Focus Elective Courses Information Security
NumberTitleTypeECTSHoursLecturers
252-0408-00LCryptographic Protocols Information W5 credits2V + 2UM. Hirt, U. Maurer
263-2925-00LProgram Analysis for System Security and Reliability Information W5 credits2V + 1U + 1AM. Vechev
263-4600-00LFormal Methods for Information Security Information W4 credits2V + 1UR. Sasse, C. Sprenger
263-4630-00LComputer-Aided Modelling and Reasoning Information
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.
W8 credits7PC. Sprenger, D. Traytel
Seminar in Information Security
NumberTitleTypeECTSHoursLecturers
263-2930-00LBlockchain Security Seminar Information Restricted registration - show details
Number of participants limited to 22.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 credits2SM. Vechev, D. Drachsler Cohen, P. Tsankov
Focus Courses in Information Systems
Focus Core Courses Information Systems
NumberTitleTypeECTSHoursLecturers
263-2925-00LProgram Analysis for System Security and Reliability Information W5 credits2V + 1U + 1AM. Vechev
Focus Elective Courses Information Systems
NumberTitleTypeECTSHoursLecturers
252-0312-00LUbiquitous Computing Information W3 credits2VF. Mattern, S. Mayer
252-3005-00LNatural Language Understanding Information Restricted registration - show details
Number of participants limited to 200.
W4 credits2V + 1UM. Ciaramita, T. Hofmann
263-5215-00LFairness, Explainability, and Accountability for Machine Learning Information Restricted registration - show details
Number of participants limited to 40.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the course, will officially fail the course.
W4 credits1V + 2PH. Heidari
Seminar in Information Systems
NumberTitleTypeECTSHoursLecturers
252-3002-00LAlgorithms for Database Systems Information
Limited number of participants.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 credits2SP. Penna
263-3840-00LHardware Architectures for Machine Learning Information
The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 credits2SG. Alonso, T. Hoefler, C. Zhang
Focus Courses in Software Engineering
Focus Core Courses Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2925-00LProgram Analysis for System Security and Reliability Information W5 credits2V + 1U + 1AM. Vechev
Focus Elective Courses Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2300-00LHow To Write Fast Numerical Code Information Restricted registration - show details
Number of participants limited to 84.

Prerequisite: Master student, solid C programming skills.

Takes place the last time in this form.
W6 credits3V + 2UM. Püschel
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
W5 credits2V + 1U + 1AA. J. Summers
263-4630-00LComputer-Aided Modelling and Reasoning Information
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.
W8 credits7PC. Sprenger, D. Traytel
Seminar in Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2100-00LResearch Topics in Software Engineering Information Restricted registration - show details
Number of participants limited to 22.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 credits2ST. Gross
263-2926-00LDeep Learning for Big Code Information Restricted registration - show details
Number of participants limited to 24.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 credits2SV. Raychev
263-2930-00LBlockchain Security Seminar Information Restricted registration - show details
Number of participants limited to 22.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 credits2SM. Vechev, D. Drachsler Cohen, P. Tsankov
Focus Courses in Theoretical Computer Science
Focus Core Courses Theoretical Computer Science
NumberTitleTypeECTSHoursLecturers
252-0407-00LCryptography Foundations Information
Takes place the last time in this form.
W7 credits3V + 2U + 1AU. Maurer
261-5110-00LOptimization for Data Science Information W8 credits3V + 2U + 2AB. Gärtner, D. Steurer
  • First page Previous page Page  2  of  7 Next page Last page     All