Vorlesungsverzeichnis
Bachelor (inkl. Optionalbereich)
Informatik (KB)
Einführungsveranstaltungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
122314
Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)
-
Dozent*innen/Informatik
Einführungsveranstaltung
Grundvorlesungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
122203
Softwarepraktikum
-
Apel
Grundvorlesung
122206
Big Data Engineering (vormals Informationssysteme)
-
Dittrich
Grundvorlesung
122207
Nebenläufige Programmierung
-
Hermanns
Grundvorlesung
122208
Systemarchitektur
-
Reineke
Grundvorlesung
122209
Programmierung 2
-
Hack
Grundvorlesung
123728
Mathematik für Informatiker II
-
Schreyer
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
Stammvorlesungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
122116
Artificial Intelligence
-
Hoffmann
,
Koehler
Vorlesung / Übung
123525
Cryptography
-
Döttling
Vorlesung / Übung
123526
Introduction to Computational Logic
-
Smolka
Vorlesung / Übung
123531
Optimization
-
Karrenbauer
Vorlesung / Übung
123532
Embedded Systems
-
Maggio
Vorlesung / Übung
123537
Data Networks
-
Feldmann
Vorlesung / Übung
123678
Image Processing and Computer Vision
-
Weickert
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
Vertiefungsvorlesungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
121391
Statistical Natural Language Processing
-
Klakow
Vorlesung / Übung
121407
Text-to-Speech Synthesis
-
Möbius
Vorlesung
121574
Inferences in Artificial Intelligence and Computational Linguistics
Vorlesung
121897
Digital Signal Processing / Digitale Signalverarbeitung
-
Klakow
Vorlesung / Übung
122205
Interaktive Systeme (vorher Ubiquitous Media)
-
Steimle
Grundvorlesung
123470
Automata and Sequences
-
Ouaknine
,
Mazowiecki
Weiterführende Vorlesung
123546
High Level Computer Vision
-
Schiele
Weiterführende Vorlesung
123591
Constructive Theory of Computation
-
Dudenhefner
Weiterführende Vorlesung
123592
Geometric Complexity Theory
-
Bläser
Weiterführende Vorlesung
123596
Advance Coq Programming
-
Smolka
Blockvorlesung
123614
Automated Reasoning II
-
Waldmann
Weiterführende Vorlesung
123622
Competitive Programming
-
Weidenbach
,
Bläser
,
Bringmann
Weiterführende Vorlesung
123651
Space Informatics
-
Hermanns
Blockvorlesung
123652
Ethics for Nerds
-
Hermanns
Weiterführende Vorlesung
123690
Continuous Optimization (Kontinuierliche Optimierung)
-
Ochs
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
123713
Numerical Algorithms for Visual Computing
Vorlesung / Übung
123714
Image Compression
-
Peter
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
123733
Data Science
-
Maaß
,
Banowitz
Vorlesung / Übung
123825
Question Answering Systems
-
Saha Roy
Weiterführende Vorlesung
123959
Realistic Image Synthesis
-
Slusallek
Weiterführende Vorlesung
123965
Topics in Algorithmic Data Analysis (TADA)
-
Vreeken
Weiterführende Vorlesung
124028
Gamification & Game Studies
-
Krüger
,
Lessel
Weiterführende Vorlesung
124180
Privacy Enhancing Technologies
-
Zhang
Weiterführende Vorlesung
124181
Usable Security
-
Krombholz
Weiterführende Vorlesung
124182
Physical-Layer Security
-
Tippenhauer
Weiterführende Vorlesung
124183
Secure Web Development
-
Pellegrino
Blockvorlesung
124193
Sublinear Algorithms
-
Nakos
,
Bringmann
Weiterführende Vorlesung
124221
Audio/Visual Communication and Networks (Telecommunications 2)
-
Herfet
Vorlesung / Übung
124292
Computational Geometry
-
Seidel
Weiterführende Vorlesung
124293
Parameterized Algorithms
-
Misra
,
Marx
Weiterführende Vorlesung
Proseminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
123469
Funktionale Programmierung
-
Smolka
Proseminar
123719
Proseminar: Maschinelles Lernen
-
Weickert
,
Ertel
Proseminar
123970
Software Engineering 2.0: AI for SE
-
Apel
Proseminar
124024
Seminal papers in cryptography
-
Cremers
Proseminar
124179
Das Buch der Beweise
-
Bläser
Proseminar
124185
Trustworthy Machine Learning
-
Fritz
Proseminar
124186
Cyber-Physical System Security
Proseminar
124187
INfluential PApers in Web Security
-
Pellegrino
,
Stock
Proseminar
124196
Automated Testing and Debugging
-
Zeller
Proseminar
124237
Algorithms and Complexity
Proseminar
124828
Artificial intelligence in relation to considerations from the perspective of history of science, philosophy (of nature)
-
Müller
Proseminar
Seminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
121570
Machine Learning for Natural Language Processing
-
Klakow
Blockseminar
121571
Multimodal Dialogue Systems
-
Petukhova
Seminar
123468
Advanced Fuzzing Techniques
-
Zeller
Seminar
123594
Machine Learning and Formal Methods
-
Singla
,
Christakis
Seminar
123621
Software Engineering 2.0: AI for SE
-
Apel
Seminar
123624
Hybrid Learning and Reasoning
-
Klusch
Seminar
123704
Machine Learning for Harvesting Health and Life Science Knowledge
-
Ernst
,
Yates
,
Terolli
Seminar
123812
Seminar: Advances in Inpainting
-
Weickert
,
Andris
,
Tomasson
Seminar
123841
Advanced Topics in Cloud and Datacenter Systems
-
Mace
Seminar
123974
Artificial intelligence in relation to considerations from the perspective of history of science, philosophy (of nature) and ethics
-
Müller
Seminar
123997
Advanced Topics in Approximation Algorithms
-
Mömke
Seminar
124002
Refinement in program verification, compiler construction and cryptography
-
Künnemann
,
Nemati
Seminar
124014
Digitalisierung und Datenschutz
-
Sorge
Seminar
124015
Legal Tech and eJustice
-
Sorge
Seminar
124144
Computer Vision and Machine Learning for Computer Graphics
-
Theobalt
Seminar
124173
Brain-Computer Interaction
-
Rekrut
Seminar
124174
Data-driven Approaches on Understanding Disinformation
-
Zhang
Seminar
124175
Selected Topics in Mobile Security
-
Bugiel
Seminar
124194
Reading Group Algorithms
-
Bringmann
Seminar
124266
Neural-Symbolic Computing
-
Finkbeiner
Seminar
Freie Leistungspunkte (Soft Skills/Language/Lab)
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
121573
Neural Networks
-
Klakow
Softwareprojekt
122390
Hands-On Networking
-
Herfet
Blockpraktikum
123597
You can do IT. Start your idea! Entrepreneurship in IT and Maths
Vorlesung
123734
KI in Unternehmen (die Veranstaltung wird auf das WS 2020/21 verschoben! )
-
Maaß
,
Kern
Vorlesung / Übung
123821
Statistics Lab
-
Wolf
Vorlesung / Übung