Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Informatik
Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity
Bachelor Cybersicherheit, StO 2016
Pflichtbereich
Vst.-Nr.
Veranstaltung
Vst.-Art
Semester
FB
/ Einrichtung
Aktion
126701
Programmierung 1
-
Univ.-Professor Dr. Finkbeiner
Grundvorlesung
WiSe 2020/21
Informatik
126703
Grundzüge von Algorithmen und Datenstrukturen
-
Univ.-Prof. Dr. Seidel
Grundvorlesung
WiSe 2020/21
Informatik
126704
Grundzüge der Theoretischen Informatik
-
Univ.-Prof. Dr. Bläser
Grundvorlesung
WiSe 2020/21
Informatik
126819
Mathematik für Informatiker I
-
Dr. rer. nat. Apushkinskaya
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
WiSe 2020/21
Mathematik
Proseminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Semester
FB
/ Einrichtung
Aktion
127181
Practical Foundations for Programming Languages
-
Univ.-Prof. Dr. Hack
,
Rosemann
,
Kruse
Proseminar
WiSe 2020/21
Informatik
127182
User Studies in IT Security
-
Dr. Krombholz
Proseminar
WiSe 2020/21
Informatik
127184
Model Checking: Techniques and Applications
-
Dr. Jacobs
Proseminar
WiSe 2020/21
Informatik
127185
Algorithms and Complexity
-
Prof. Dr. Joux
Proseminar
WiSe 2020/21
Informatik
127270
Cyber-Physical Systems Security
Proseminar
WiSe 2020/21
Informatik
127373
Microarchitectural Attacks and Defenses
-
Univ.-Prof. Dr. Reineke
Proseminar
WiSe 2020/21
Informatik
Seminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Semester
FB
/ Einrichtung
Aktion
126966
Build your Own Transformer
-
Dr.-Ing. Zhang
Seminar
WiSe 2020/21
Sprachwissenschaft und Sprachtechnologie
,
Translationsorientierte Sprachtechnologie
126967
Explainability Methods for Neural Networks
-
Pylypenko
Seminar
WiSe 2020/21
Sprachwissenschaft und Sprachtechnologie
,
Translationsorientierte Sprachtechnologie
127179
Data Privacy
-
Dr. Zhang
Seminar
WiSe 2020/21
Informatik
127186
Formal Methods for AI Safety
-
Dr Dimitrova
Seminar
WiSe 2020/21
Informatik
127187
AI Planning – Lifted Planning, Problem Analysis and Grounding
-
Univ.-Professor Prof. Dr. Hoffmann
Seminar
WiSe 2020/21
Informatik
127188
Privacy-Preserving Signatures
-
Dr. Hanzlik
Seminar
WiSe 2020/21
Informatik
127189
Concurrency Theory
-
Univ.-Prof. Dr.-Ing. Hermanns
Seminar
WiSe 2020/21
Informatik
127190
Program Analysis for Vulnerability Detection
-
Dr Staicu
Seminar
WiSe 2020/21
Informatik
127192
Monte Carlo Methods
-
Univ.-Professorin Prof. Dr. Wolf
,
Backenköhler
Seminar
WiSe 2020/21
Informatik
127195
Space and Satellite Networking
-
Dr. Fraire
Seminar
WiSe 2020/21
Informatik
127246
Hot Topics in Data Networks
-
Univ.-Prof. Ph.D. Feldmann
Seminar
WiSe 2020/21
Informatik
127298
Interactive Robotics
-
Univ.-Professor Prof. Dr. Steimle
,
Dr. Teyssier
Seminar
WiSe 2020/21
Informatik
127372
Microarchitectural Attacks and Defenses
-
Univ.-Prof. Dr. Reineke
Seminar
WiSe 2020/21
Informatik
127507
Multi-agent Reinforcement Learning
-
Dr. Singla
,
Ph.D. Radanovic
Seminar
WiSe 2020/21
Informatik
128356
Quantencomputing im FinTechbereich
-
Univ.-Professor Dr.-Ing. Maaß
Seminar
WiSe 2020/21
Informatik
128357
Resilienz-Management von Produktionsunternehmen
-
Univ.-Professor Dr.-Ing. Maaß
Seminar
WiSe 2020/21
Informatik