Computer Science Master  |
 Minors |
| Minor in Machine Learning |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 263-5351-00L | Machine Learning for Genomics  Does not take place this semester.
The deadline for deregistering expires at the end of the third week of the semester. Students who are still registered after that date, but do not provide project work, do not participate in paper presentation sessions and/or do not show up for the exam, will officially fail the course.
The course will be offered again in AS24! | W | 5 credits | 2V + 1U + 1A | V. Boeva |
| 263-5352-00L | Advanced Formal Language Theory | W | 6 credits | 4G + 1A | R. Cotterell |
| 263-5353-00L | Philosophy of Language and Computation I | W | 3 credits | 1V + 1U | R. Cotterell,
J. L. Gastaldi |
| 263-5354-00L | Large Language Models | W | 8 credits | 3V + 2U + 2A | R. Cotterell,
M. Sachan,
F. Tramèr |
| 263-5704-00L | Artificial Intelligence for Digital Characters | W | 4 credits | 2V + 1A | R. Wampfler |
|
| Minor in Networking |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 227-0558-00L | Principles of Distributed Computing | W | 7 credits | 2V + 2U + 2A | R. Wattenhofer |
|
| Minor in Programming Languages and Software Engineering |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 263-2812-00L | Program Verification | W | 5 credits | 3G + 1A | P. Müller,
M. Eilers |
| 263-2815-00L | Automated Software Testing Last cancellation/deregistration date for this graded semester performance: 15 March 2024! Please note that after that date no deregistration will be accepted and the course will be considered as "fail". | W | 7 credits | 2V + 1U + 3A | Z. Su |
| 263-4600-00L | Formal Methods for Information Security | W | 5 credits | 2V + 1U + 1A | S. Krstic,
R. Sasse,
C. Sprenger |
|
| Minor in Systems Software |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 227-0128-00L | Synthesis of Digital Circuits | W | 6 credits | 2V + 2U | L. Josipovic |
| 227-0558-00L | Principles of Distributed Computing | W | 7 credits | 2V + 2U + 2A | R. Wattenhofer |
| 263-3800-00L | Advanced Operating Systems | W | 7 credits | 2V + 2U + 2A | T. Roscoe,
A. Baumann |
|
| Minor in Theoretical Computer Science |
| Number | Title | Type | ECTS | Hours | Lecturers |
|---|
| 252-0408-00L | Cryptographic Protocols | W | 6 credits | 2V + 2U + 1A | M. Hirt |
| 252-1424-00L | Models of Computation | W | 6 credits | 2V + 2U + 1A | M. Cook |
| 261-5110-00L | Optimization for Data Science | W | 10 credits | 3V + 2U + 4A | B. Gärtner,
N. He |
| 263-4400-00L | Advanced Graph Algorithms and Optimization | W | 10 credits | 3V + 3U + 3A | R. Kyng,
M. Probst |
| 263-4508-00L | Algorithmic Foundations of Data Science | W | 10 credits | 3V + 2U + 4A | D. Steurer |
| 263-4509-00L | Complex Network Models | W | 5 credits | 2V + 2A | J. Lengler,
R. M. Steiner |
| 263-4510-00L | Introduction to Topological Data Analysis | W | 8 credits | 3V + 2U + 2A | P. Schnider |
| 263-4656-00L | Digital Signatures | W | 5 credits | 2V + 2A | D. Hofheinz |
Page
2
of
3
All