Vorlesungsverzeichnis
Lehramt (modularisiert)
Informatik (LAB, LAG, LS1+2)
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
134126
Begrüßungsveranstaltung für Studienanfänger Lehramt Informatik
Einführungsveranstaltung
Fachspezifische Bestimmungen 2012
Einführungsveranstaltungen
(--- Keine Veranstaltung in diesem Bereich gefunden ---)
Pflichtmodule
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131562
Programmierung 1
-
Smolka
Grundvorlesung
131595
Grundzüge der Theoretischen Informatik
-
Bläser
Grundvorlesung
131596
Grundzüge von Algorithmen und Datenstrukturen
-
Seidel
Grundvorlesung
Seminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
133204
Neural Networks in AI Planning
-
Hoffmann
Blockseminar
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
133691
Software Analytics
-
Apel
Seminar
133808
Adversarial Reinforcement Learning
-
Singla
,
Radanovic
Seminar
133900
Walk While Work - UX-Driven Development of Player Type-Centric Motion Games
-
Krüger
,
Lessel
,
Altmeyer
Seminar
133904
Current Topics in Systems Security
-
Holz
Seminar
133905
Trustworthy Graph Neural Networks
-
Bojchevski
Seminar
133907
Interactive Touch Surfaces
-
Steimle
,
Pourjafarian
Seminar
133911
Hot Topics in Data Networks
-
Feldmann
Seminar
133912
Complexity Theory
-
Bläser
Seminar
133943
Reading Group Algorithms: Continuous Methods for Combinatorial Problems
-
Mehlhorn
,
Sharma
Seminar
134071
Adaptive Human Machine Interfaces for Autonomous Systems
-
Feld
Seminar
134083
SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins
-
Schwartz
,
Porta
Seminar
Wahlpflichtbereich 1
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131605
Ringvorlesung Perspektiven der Informatik
-
Dozent*innen/Informatik
Vorlesung
Wahlpflichtbereich 2
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131122
Statistik mit R
-
Demberg
Vorlesung / Übung
131613
Elements of Machine Learning
-
Vreeken
,
Valera Martinez
Vorlesung / Übung
131783
Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach
-
Wilhelm-Mauch
Vorlesung / Übung
133205
AI Planning
-
Hoffmann
Weiterführende Vorlesung
133206
Multimedia Transport (Future Media Internet)
-
Herfet
Vorlesung / Übung
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
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
133625
Semantics
-
Dreyer
Vorlesung / Übung
133627
Operating Systems
-
Kaufmann, PhD
Vorlesung / Übung
133630
Neural Networks: Theory and Implementation
-
Klakow
Vorlesung / Übung
133640
Complexitiy of Bilinear Problems
-
Bläser
Weiterführende Vorlesung
133643
Reinforcement Learning
-
Singla
Weiterführende Vorlesung
133660
Systems Security
-
Holz
Weiterführende Vorlesung
133667
Automated Knowledge Base Construction
-
Razniewski
Blockvorlesung
133716
Parameterized Algorithms
-
Marx
,
Sharma
Weiterführende Vorlesung
133903
Metastability-Containing Synchronization Circuits
-
Lenzen
Weiterführende Vorlesung
133999
Fine-Grained Complexity Theory
-
Bringmann
Weiterführende Vorlesung
134176
Hands-On Dependability
Blockvorlesung
Fachspezifische Bestimmungen 2020
Einführungsveranstaltungen
(--- Keine Veranstaltung in diesem Bereich gefunden ---)
Pflichtmodule
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131562
Programmierung 1
-
Smolka
Grundvorlesung
131595
Grundzüge der Theoretischen Informatik
-
Bläser
Grundvorlesung
131639
Mathematik für Informatik-Lehramt 1
-
Lethen
Vorlesung / Übung
132112
Zivilrechtliche Grundlagen des IT-Rechts
-
Borges
,
Sesing-Wagenpfeil
Vorlesung
132113
Datenschutzrecht
-
Niemann
Vorlesung
133221
Ausgewählte Themen für das Lehramt Informatik
-
Wolf
Seminar
Wahlpflichtbereich 1
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131605
Ringvorlesung Perspektiven der Informatik
-
Dozent*innen/Informatik
Vorlesung
Wahlpflichtbereich 2
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131596
Grundzüge von Algorithmen und Datenstrukturen
-
Seidel
Grundvorlesung
131610
Foundations of Cyber Security 1 (Grundlagen der Cybersicherheit 1)
-
Stock
Grundvorlesung
131612
Elements of Data Science and Artificial Intelligence
-
Demberg
,
Schiele
,
Hoffmann
Vorlesung / Übung
131613
Elements of Machine Learning
-
Vreeken
,
Valera Martinez
Vorlesung / Übung
Wahlpflichtbereich 3
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131122
Statistik mit R
-
Demberg
Vorlesung / Übung
131783
Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach
-
Wilhelm-Mauch
Vorlesung / Übung
133205
AI Planning
-
Hoffmann
Weiterführende Vorlesung
133206
Multimedia Transport (Future Media Internet)
-
Herfet
Vorlesung / Übung
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
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
133625
Semantics
-
Dreyer
Vorlesung / Übung
133627
Operating Systems
-
Kaufmann, PhD
Vorlesung / Übung
133630
Neural Networks: Theory and Implementation
-
Klakow
Vorlesung / Übung
133640
Complexitiy of Bilinear Problems
-
Bläser
Weiterführende Vorlesung
133643
Reinforcement Learning
-
Singla
Weiterführende Vorlesung
133660
Systems Security
-
Holz
Weiterführende Vorlesung
133667
Automated Knowledge Base Construction
-
Razniewski
Blockvorlesung
133716
Parameterized Algorithms
-
Marx
,
Sharma
Weiterführende Vorlesung
133903
Metastability-Containing Synchronization Circuits
-
Lenzen
Weiterführende Vorlesung
133999
Fine-Grained Complexity Theory
-
Bringmann
Weiterführende Vorlesung
134176
Hands-On Dependability
Blockvorlesung