Search result: Courses in Spring Semester 2019

Computer Science Master Information
Focus Courses
Focus Courses in Software Engineering
Focus Core Courses Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2925-00LProgram Analysis for System Security and Reliability Information W5 credits2V + 1U + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Mon13:15-15:00CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Mon15:15-16:00CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 hrsM. 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 + 2U
263-2300-00 VHow To Write Fast Numerical Code3 hrs
Mon10:15-12:00HG D 3.2 »
Thu09:15-10:00CAB G 51 »
M. Püschel
263-2300-00 UHow To Write Fast Numerical Code2 hrs
Wed13:15-15:00HG D 3.2 »
M. Püschel
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
W5 credits2V + 1U + 1A
263-2812-00 VProgram Verification2 hrs
Wed09:15-11:00CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 hrs
Wed11:15-12:00CAB G 52 »
A. J. Summers
263-2812-00 AProgram Verification1 hrsA. 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 credits7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 hrs
Fri09:15-13:00HG G 26.3 »
C. 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 credits2S
263-2100-00 SResearch Topics in Software Engineering
To allow scheduling flexibility, the seminar meets some days from 3-6. Students must register by February 19 or attend the first meeting to obtain a topic for presentation. Please contact the instructor if you cannot attend the first meeting.
2 hrs
Tue15:15-17:00CAB G 52 »
T. 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 credits2S
263-2926-00 SDeep Learning for Big Code2 hrs
Mon16:15-18:00CAB G 52 »
V. 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 credits2S
263-2930-00 SBlockchain Security Seminar2 hrs
Fri13:15-15:00CAB G 57 »
M. Vechev, D. Drachsler Cohen, P. Tsankov
  •  Page  1  of  1