Search result: Course units in Spring Semester 2018

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 + 1AM. Vechev
Focus Elective Courses Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
W5 credits2V + 1U + 1AA. J. Summers
263-2300-00LHow To Write Fast Numerical Code Information Restricted registration - show details
Does not take place this semester.
Number of participants limited to 84.

Prerequisite: Master student, solid C programming skills.
W6 credits3V + 2UM. Püschel
Seminar in Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2100-00LResearch Topics in Software Engineering Information Restricted registration - show details
Number of participants limited to 22.
W2 credits2ST. Gross
263-2926-00LDeep Learning for Big Code Information Restricted registration - show details
Number of participants limited to 24.
W2 credits2SM. Vechev
263-2930-00LBlockchain Security Seminar Information Restricted registration - show details
Number of participants limited to 26.
W2 credits2SM. Vechev, D. Drachsler Cohen, P. Tsankov
  •  Page  1  of  1