The spring semester 2021 will generally take place online. New presence elements as of April 26 will be communicated by the lecturers.

Search result: Courses 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 + 2U
252-0408-00 VCryptographic Protocols2 hrs
Mon13-15NO C 6 »
M. Hirt, U. Maurer
252-0408-00 UCryptographic Protocols2 hrs
Mon15-17CAB G 56 »
M. Hirt, U. Maurer
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-15CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Mon15-16CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 hrsM. Vechev
263-4600-00LFormal Methods for Information Security Information W4 credits2V + 1U
263-4600-00 VFormal Methods for Information Security2 hrs
Thu09-11CHN D 44 »
R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 hrs
Thu11-12CHN D 44 »
R. 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 credits7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 hrs
Fri09-13HG G 26.3 »
C. 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 credits2S
263-2930-00 SBlockchain Security Seminar2 hrs
Fri13-15CAB G 57 »
M. 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 + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Mon13-15CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Mon15-16CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 hrsM. Vechev
Focus Elective Courses Information Systems
NumberTitleTypeECTSHoursLecturers
252-0312-00LUbiquitous Computing Information W3 credits2V
252-0312-00 VUbiquitous Computing2 hrs
Tue08-10CAB G 61 »
F. Mattern, S. Mayer
252-3005-00LNatural Language Understanding Information Restricted registration - show details
Number of participants limited to 200.
W4 credits2V + 1U
252-3005-00 VNatural Language Understanding2 hrs
Mon10-12CAB G 11 »
M. Ciaramita, T. Hofmann
252-3005-00 UNatural Language Understanding1 hrs
Mon13-14HG E 5 »
M. 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 + 2P
263-5215-00 VFairness, Explainability, and Accountability for Machine Learning1 hrs
Wed09-10CAB G 59 »
H. Heidari
263-5215-00 PFairness, Explainability, and Accountability for Machine Learning2 hrs
Wed10-11CAB G 59 »
H. 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 credits2S
252-3002-00 SAlgorithms for Database Systems
This seminar accepts students from ETH and UZH, and is offered jointly with Prof. Dr. Boehlen from UZH. A first information meeting will be held Tuesday, February 19, 2019, 16.30 - 18.00 at UZH. In this meeting, the seminar topics will be presented and assigned to participants. The seminar talks will be given in two blocks on two Saturdays, namely April 13, 9.00 - 15.00 at UZH and May 11, 9.00 - 15.00 at ETH. All participants are requested to be actively present on both dates.
2 hrsP. 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 credits2S
263-3840-00 SHardware Architectures for Machine Learning2 hrs
Thu15-17LEE C 104 »
G. 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 + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Mon13-15CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Mon15-16CAB 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-12HG D 3.2 »
Thu09-10CAB G 51 »
M. Püschel
263-2300-00 UHow To Write Fast Numerical Code2 hrs
Wed13-15HG 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-11CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 hrs
Wed11-12CAB 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-13HG 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-17CAB 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-18CAB 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-15CAB G 57 »
M. 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 + 1A
252-0407-00 VCryptography Foundations3 hrs
Wed13-16CAB G 51 »
U. Maurer
252-0407-00 UCryptography Foundations2 hrs
Mon10-12CAB G 52 »
Tue13-15CAB G 57 »
U. Maurer
252-0407-00 ACryptography Foundations
Project Work, no fixed presence required.
1 hrsU. Maurer
261-5110-00LOptimization for Data Science Information W8 credits3V + 2U + 2A
261-5110-00 VOptimization for Data Science3 hrs
Mon15-16HG E 1.1 »
Tue10-12ETF C 1 »
B. Gärtner, D. Steurer
261-5110-00 UOptimization for Data Science2 hrs
Tue13-15CHN G 22 »
13-15HG D 3.2 »
13-15RZ F 21 »
B. Gärtner, D. Steurer
261-5110-00 AOptimization for Data Science2 hrsB. Gärtner, D. Steurer
  • First page Previous page Page  2  of  7 Next page Last page     All