Das Frühjahrssemester 2021 findet sicher bis Ostern online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind. Bitte beachten Sie die Informationen der Dozierenden.

Suchergebnis: Lehrveranstaltungen im Frühjahrssemester 2019

Informatik Master Information
Vertiefungsfächer
Vertiefung in Information Security
Wahlfächer der Vertiefung in Information Security
NummerTitelTypECTSUmfangDozierende
252-0408-00LCryptographic Protocols Information W5 KP2V + 2U
252-0408-00 VCryptographic Protocols2 Std.
Mo13-15NO C 6 »
M. Hirt, U. Maurer
252-0408-00 UCryptographic Protocols2 Std.
Mo15-17CAB G 56 »
M. Hirt, U. Maurer
263-2925-00LProgram Analysis for System Security and Reliability Information W5 KP2V + 1U + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 Std.
Mo13-15CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 Std.
Mo15-16CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 Std.M. Vechev
263-4600-00LFormal Methods for Information Security Information W4 KP2V + 1U
263-4600-00 VFormal Methods for Information Security2 Std.
Do09-11CHN D 44 »
R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 Std.
Do11-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 KP7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 Std.
Fr09-13HG G 26.3 »
C. Sprenger, D. Traytel
Seminar in Information Security
NummerTitelTypECTSUmfangDozierende
263-2930-00LBlockchain Security Seminar Information Belegung eingeschränkt - Details anzeigen
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 KP2S
263-2930-00 SBlockchain Security Seminar2 Std.
Fr13-15CAB G 57 »
M. Vechev, D. Drachsler Cohen, P. Tsankov
Vertiefung in Information Systems
Kernfächer der Vertiefung in Information Systems
NummerTitelTypECTSUmfangDozierende
263-2925-00LProgram Analysis for System Security and Reliability Information W5 KP2V + 1U + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 Std.
Mo13-15CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 Std.
Mo15-16CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 Std.M. Vechev
Wahlfächer der Vertiefung in Information Systems
NummerTitelTypECTSUmfangDozierende
252-0312-00LUbiquitous Computing Information W3 KP2V
252-0312-00 VUbiquitous Computing2 Std.
Di08-10CAB G 61 »
F. Mattern, S. Mayer
252-3005-00LNatural Language Understanding Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 200.
W4 KP2V + 1U
252-3005-00 VNatural Language Understanding2 Std.
Mo10-12CAB G 11 »
M. Ciaramita, T. Hofmann
252-3005-00 UNatural Language Understanding1 Std.
Mo13-14HG E 5 »
M. Ciaramita, T. Hofmann
263-5215-00LFairness, Explainability, and Accountability for Machine Learning Information Belegung eingeschränkt - Details anzeigen
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 KP1V + 2P
263-5215-00 VFairness, Explainability, and Accountability for Machine Learning1 Std.
Mi09-10CAB G 59 »
H. Heidari
263-5215-00 PFairness, Explainability, and Accountability for Machine Learning2 Std.
Mi10-11CAB G 59 »
H. Heidari
Seminar in Information Systems
NummerTitelTypECTSUmfangDozierende
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 KP2S
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 Std.P. 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 KP2S
263-3840-00 SHardware Architectures for Machine Learning2 Std.
Do15-17LEE C 104 »
G. Alonso, T. Hoefler, C. Zhang
Vertiefung in Software Engineering
Kernfächer der Vertiefung in Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2925-00LProgram Analysis for System Security and Reliability Information W5 KP2V + 1U + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 Std.
Mo13-15CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 Std.
Mo15-16CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 Std.M. Vechev
Wahlfächer der Vertiefung in Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2300-00LHow To Write Fast Numerical Code Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 84.

Prerequisite: Master student, solid C programming skills.

Takes place the last time in this form.
W6 KP3V + 2U
263-2300-00 VHow To Write Fast Numerical Code3 Std.
Mo10-12HG D 3.2 »
Do09-10CAB G 51 »
M. Püschel
263-2300-00 UHow To Write Fast Numerical Code2 Std.
Mi13-15HG D 3.2 »
M. Püschel
263-2812-00LProgram Verification Information Belegung eingeschränkt - Details anzeigen
Maximale Teilnehmerzahl: 30.
W5 KP2V + 1U + 1A
263-2812-00 VProgram Verification2 Std.
Mi09-11CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 Std.
Mi11-12CAB G 52 »
A. J. Summers
263-2812-00 AProgram Verification1 Std.A. 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 KP7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 Std.
Fr09-13HG G 26.3 »
C. Sprenger, D. Traytel
Seminar in Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2100-00LResearch Topics in Software Engineering Information Belegung eingeschränkt - Details anzeigen
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 KP2S
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 Std.
Di15-17CAB G 52 »
T. Gross
263-2926-00LDeep Learning for Big Code Information Belegung eingeschränkt - Details anzeigen
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 KP2S
263-2926-00 SDeep Learning for Big Code2 Std.
Mo16-18CAB G 52 »
V. Raychev
263-2930-00LBlockchain Security Seminar Information Belegung eingeschränkt - Details anzeigen
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 KP2S
263-2930-00 SBlockchain Security Seminar2 Std.
Fr13-15CAB G 57 »
M. Vechev, D. Drachsler Cohen, P. Tsankov
Vertiefung in Theoretical Computer Science
Kernfächer der Vertiefung in Theoretical Computer Science
NummerTitelTypECTSUmfangDozierende
252-0407-00LCryptography Foundations Information
Takes place the last time in this form.
W7 KP3V + 2U + 1A
252-0407-00 VCryptography Foundations3 Std.
Mi13-16CAB G 51 »
U. Maurer
252-0407-00 UCryptography Foundations2 Std.
Mo10-12CAB G 52 »
Di13-15CAB G 57 »
U. Maurer
252-0407-00 ACryptography Foundations
Project Work, no fixed presence required.
1 Std.U. Maurer
261-5110-00LOptimization for Data Science Information W8 KP3V + 2U + 2A
261-5110-00 VOptimization for Data Science3 Std.
Mo15-16HG E 1.1 »
Di10-12ETF C 1 »
B. Gärtner, D. Steurer
261-5110-00 UOptimization for Data Science2 Std.
Di13-15CHN G 22 »
13-15HG D 3.2 »
13-15RZ F 21 »
B. Gärtner, D. Steurer
261-5110-00 AOptimization for Data Science2 Std.B. Gärtner, D. Steurer
  • Erste Seite Vorherige Seite Seite  2  von  7 Nächste Seite Letzte Seite     Alle