Suchergebnis: Lerneinheiten im Frühjahrssemester 2018
Informatik Master  | ||||||
 Vertiefungsfächer | ||||||
| Vertiefung in Information Security | ||||||
| Wahlfächer der Vertiefung in Information Security | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
|---|---|---|---|---|---|---|
| 263-4600-00L | Formal Methods for Information Security | W | 4 KP | 2V + 1U | R. Sasse, C. Sprenger | |
| 263-2925-00L | Program Analysis for System Security and Reliability | W | 5 KP | 2V + 1U + 1A | M. Vechev | |
| Seminar in Information Security | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 252-4800-00L | Information & Physics  Number of participants limited to 120. Previously called Quantum Information and Cryptography Um das vorhandene Angebot optimal auszunutzen, behält sich das D-INFK vor, Belegungen von Studierenden zu löschen, die sich in mehreren Veranstaltungen dieser Kategorie eingeschrieben haben, bereits die erforderlichen Leistungen in dieser Kategorie erbracht haben oder aus anderen organisatorischen Gründen nicht auf die Belegung der Veranstaltung angewiesen sind. | W | 2 KP | 4S | S. Wolf | |
| 263-2930-00L | Blockchain Security Seminar Number of participants limited to 26. | W | 2 KP | 2S | M. Vechev, D. Drachsler Cohen, P. Tsankov | |
| Vertiefung in Information Systems | ||||||
| Kernfächer der Vertiefung in Information Systems | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 263-2925-00L | Program Analysis for System Security and Reliability | W | 5 KP | 2V + 1U + 1A | M. Vechev | |
| Wahlfächer der Vertiefung in Information Systems | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 252-0312-00L | Ubiquitous Computing | W | 3 KP | 2V | F. Mattern, S. Mayer | |
| 252-0355-00L | Object Databases | W | 4 KP | 2V + 1U | A. K. de Spindler | |
| 252-0807-00L | Information Systems Laboratory Maximale Teilnehmerzahl: 12 Im Masterstudium können zusätzlich zu den Vertiefungsübergreifenden Fächern nur max. 10 Kreditpunkte über Laboratorien erarbeitet werden. Weitere Laboratorien werden auf dem Beiblatt aufgeführt. | W | 10 KP | 9P | M. Norrie | |
| 252-3005-00L | Natural Language Understanding | W | 4 KP | 2V + 1U | T. Hofmann, M. Ciaramita | |
| Seminar in Information Systems | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 252-3002-00L | Algorithms for Database Systems Limited number of participants. | W | 2 KP | 2S | P. Widmayer, P. Uznanski | |
| 252-3100-00L | Computer Supported Cooperative Work Maximale Teilnehmerzahl: 12 Findet zum letzten Mal statt. | W | 2 KP | 2S | M. Norrie | |
| Vertiefung in Software Engineering | ||||||
| Kernfächer der Vertiefung in Software Engineering | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 263-2925-00L | Program Analysis for System Security and Reliability | W | 5 KP | 2V + 1U + 1A | M. Vechev | |
| Wahlfächer der Vertiefung in Software Engineering | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 263-2812-00L | Program Verification Maximale Teilnehmerzahl: 30. | W | 5 KP | 2V + 1U + 1A | A. J. Summers | |
| 263-2300-00L | How To Write Fast Numerical Code Findet dieses Semester nicht statt. Number of participants limited to 84. Prerequisite: Master student, solid C programming skills. | W | 6 KP | 3V + 2U | M. Püschel | |
| Seminar in Software Engineering | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 263-2100-00L | Research Topics in Software Engineering Number of participants limited to 22. | W | 2 KP | 2S | T. Gross | |
| 263-2926-00L | Deep Learning for Big Code Number of participants limited to 24. | W | 2 KP | 2S | M. Vechev | |
| 263-2930-00L | Blockchain Security Seminar Number of participants limited to 26. | W | 2 KP | 2S | M. Vechev, D. Drachsler Cohen, P. Tsankov | |
| Vertiefung in Theoretical Computer Science | ||||||
| Kernfächer der Vertiefung in Theoretical Computer Science | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 252-0407-00L | Cryptography Foundations | W | 7 KP | 3V + 2U + 1A | U. Maurer | |
| 261-5110-00L | Optimization for Data Science | W | 8 KP | 3V + 2U + 2A | B. Gärtner, D. Steurer | |
| Wahlfächer der Vertiefung in Theoretical Computer Science | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
| 252-0408-00L | Cryptographic Protocols | W | 5 KP | 2V + 2U | M. Hirt, U. Maurer | |
Seite
2
von
7
Alle