Computer Science Master  |
 Focus Courses |
| Focus Courses in Information Security |
| Focus Elective Courses Information Security |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 252-0408-00L | Cryptographic Protocols | W | 5 credits | 2V + 2U | |
| 252-0408-00 V | Cryptographic Protocols | | | 2 hrs | | M. Hirt,
U. Maurer |
| 252-0408-00 U | Cryptographic Protocols | | | 2 hrs | | M. Hirt,
U. Maurer |
| 263-2925-00L | Program Analysis for System Security and Reliability | W | 5 credits | 2V + 1U + 1A | |
| 263-2925-00 V | Program Analysis for System Security and Reliability | | | 2 hrs | | M. Vechev |
| 263-2925-00 U | Program Analysis for System Security and Reliability | | | 1 hrs | | M. Vechev |
| 263-2925-00 A | Program Analysis for System Security and Reliability | | | 1 hrs | | M. Vechev |
| 263-4600-00L | Formal Methods for Information Security | W | 4 credits | 2V + 1U | |
| 263-4600-00 V | Formal Methods for Information Security | | | 2 hrs | | R. Sasse,
C. Sprenger |
| 263-4600-00 U | Formal Methods for Information Security | | | 1 hrs | | R. Sasse,
C. Sprenger |
| 263-4630-00L | Computer-Aided Modelling and Reasoning 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 | 8 credits | 7P | |
| 263-4630-00 P | Computer-Aided Modelling and Reasoning | | | 7 hrs | | C. Sprenger,
D. Traytel |
|
| Seminar in Information Security |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 263-2930-00L | Blockchain Security Seminar  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. | W | 2 credits | 2S | |
| 263-2930-00 S | Blockchain Security Seminar | | | 2 hrs | | 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 | |
| 263-2925-00 V | Program Analysis for System Security and Reliability | | | 2 hrs | | M. Vechev |
| 263-2925-00 U | Program Analysis for System Security and Reliability | | | 1 hrs | | M. Vechev |
| 263-2925-00 A | Program Analysis for System Security and Reliability | | | 1 hrs | | M. Vechev |
|
| Focus Elective Courses Information Systems |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 252-0312-00L | Ubiquitous Computing | W | 3 credits | 2V | |
| 252-0312-00 V | Ubiquitous Computing | | | 2 hrs | | F. Mattern,
S. Mayer |
| 252-3005-00L | Natural Language Understanding Number of participants limited to 200. | W | 4 credits | 2V + 1U | |
| 252-3005-00 V | Natural Language Understanding | | | 2 hrs | | M. Ciaramita,
T. Hofmann |
| 252-3005-00 U | Natural Language Understanding | | | 1 hrs | | M. Ciaramita,
T. Hofmann |
| 263-5215-00L | Fairness, Explainability, and Accountability for Machine Learning 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. | W | 4 credits | 1V + 2P | |
| 263-5215-00 V | Fairness, Explainability, and Accountability for Machine Learning | | | 1 hrs | | H. Heidari |
| 263-5215-00 P | Fairness, Explainability, and Accountability for Machine Learning | | | 2 hrs | | H. Heidari |
|
| Seminar in Information Systems |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 252-3002-00L | Algorithms for Database Systems 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. | W | 2 credits | 2S | |
| 252-3002-00 S | Algorithms 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 hrs | | P. Penna |
| 263-3840-00L | Hardware Architectures for Machine Learning 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. | W | 2 credits | 2S | |
| 263-3840-00 S | Hardware Architectures for Machine Learning | | | 2 hrs | | G. Alonso,
T. Hoefler,
C. Zhang |
|
| 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 | |
| 263-2925-00 V | Program Analysis for System Security and Reliability | | | 2 hrs | | M. Vechev |
| 263-2925-00 U | Program Analysis for System Security and Reliability | | | 1 hrs | | M. Vechev |
| 263-2925-00 A | Program Analysis for System Security and Reliability | | | 1 hrs | | M. Vechev |
|
| Focus Elective Courses Software Engineering |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 263-2300-00L | How To Write Fast Numerical Code Number of participants limited to 84.
Prerequisite: Master student, solid C programming skills.
Takes place the last time in this form. | W | 6 credits | 3V + 2U | |
| 263-2300-00 V | How To Write Fast Numerical Code | | | 3 hrs | | M. Püschel |
| 263-2300-00 U | How To Write Fast Numerical Code | | | 2 hrs | | M. Püschel |
| 263-2812-00L | Program Verification Number of participants limited to 30. | W | 5 credits | 2V + 1U + 1A | |
| 263-2812-00 V | Program Verification | | | 2 hrs | | A. J. Summers |
| 263-2812-00 U | Program Verification | | | 1 hrs | | A. J. Summers |
| 263-2812-00 A | Program Verification | | | 1 hrs | | A. J. Summers |
| 263-4630-00L | Computer-Aided Modelling and Reasoning 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 | 8 credits | 7P | |
| 263-4630-00 P | Computer-Aided Modelling and Reasoning | | | 7 hrs | | C. Sprenger,
D. Traytel |
|
| Seminar in Software Engineering |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 263-2100-00L | Research Topics in Software Engineering 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. | W | 2 credits | 2S | |
| 263-2100-00 S | Research 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 | | T. Gross |
| 263-2926-00L | Deep Learning for Big Code 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. | W | 2 credits | 2S | |
| 263-2926-00 S | Deep Learning for Big Code | | | 2 hrs | | V. Raychev |
| 263-2930-00L | Blockchain Security Seminar 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. | W | 2 credits | 2S | |
| 263-2930-00 S | Blockchain Security Seminar | | | 2 hrs | | 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 Takes place the last time in this form. | W | 7 credits | 3V + 2U + 1A | |
| 252-0407-00 V | Cryptography Foundations | | | 3 hrs | | U. Maurer |
| 252-0407-00 U | Cryptography Foundations | | | 2 hrs | | U. Maurer |
| 252-0407-00 A | Cryptography Foundations
Project Work, no fixed presence required. | | | 1 hrs | | U. Maurer |
| 261-5110-00L | Optimization for Data Science | W | 8 credits | 3V + 2U + 2A | |
| 261-5110-00 V | Optimization for Data Science | | | 3 hrs | | B. Gärtner,
D. Steurer |
| 261-5110-00 U | Optimization for Data Science | | | 2 hrs | | B. Gärtner,
D. Steurer |
| 261-5110-00 A | Optimization for Data Science | | | 2 hrs | | B. Gärtner,
D. Steurer |
Page
2
of
7
All