Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Informatik
Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity
Master Cybersecurity
Stammvorlesungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
133610
Automated Reasoning
-
Waldmann
Vorlesung / Übung
133612
Computer Graphics
-
Slusallek
Vorlesung / Übung
133613
Digital Transmission, Signal Processing
-
Herfet
Vorlesung / Übung
133614
Geometric Modeling
-
Zayer
Vorlesung / Übung
133615
Human Computer Interaction
-
Steimle
Vorlesung / Übung
133616
Security
-
Krombholz
,
Tippenhauer
Vorlesung / Übung
133617
Software Engineering
-
Apel
Vorlesung / Übung
133618
Algorithms and Data Structures
-
Seidel
,
Bringmann
Blockvorlesung
133619
Verification
-
Finkbeiner
Vorlesung / Übung
133625
Semantics
-
Dreyer
Vorlesung / Übung
133627
Operating Systems
-
Kaufmann, PhD
Vorlesung / Übung
Vertiefungsvorlesungen Cybersecurity
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
133519
Side-Channel Attacks and Defenses
-
Schwarz
Weiterführende Vorlesung
133520
Mobile Security
-
Bugiel
Weiterführende Vorlesung
133521
Machine Learning in Cybersecurity
-
Fritz
Weiterführende Vorlesung
133522
Formal Methods in Security
-
Künnemann
,
Nemati
,
Patrignani
Weiterführende Vorlesung
133523
Security Testing
-
Zeller
Weiterführende Vorlesung
133524
Parameterized Verification
-
Jacobs
Blockvorlesung
133660
Systems Security
-
Holz
Weiterführende Vorlesung
Seminare Cybersecurity
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
133398
Joint Advances in Web Security
-
Pellegrino
,
Stock
,
Staicu
Seminar
133525
Privacy of Machine Learning
-
Zhang
Seminar
133526
Pruning deep neural networks for lottery tickets
-
Burkholz
Seminar
133528
Digital and Privacy-Preserving Signatures
-
Hanzlik
Seminar
133529
Program Analysis for Vulnerability Detection
-
Staicu
Seminar
133530
Formal Methods for Finding and Fixing Information Leaks
-
Jacobs
Seminar
133531
eJustice und Datenschutz
-
Sorge
Blockseminar
133657
Formal Methods for AI Safety
-
Dimitrova
Seminar
133658
Topics in Optimization for Machine Learning
-
Stich
Blockseminar
133904
Current Topics in Systems Security
-
Holz
Seminar
133905
Trustworthy Graph Neural Networks
-
Bojchevski
Seminar
Freie Punkte
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
133568
Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity
-
Bugiel
,
Pellegrino
,
Researchers and Entrepreneurs in Cybersecurity
Vorlesung
133910
Raumschiff Erde - Klimaschutz
-
Kickelbick
Vorlesung
134064
Decisions². Analoges und digitales Game Design
-
Pfeiffer
Online-Vorlesung