Vorlesungsverzeichnis
MI Fakultät für Mathematik und Informatik
Informatik
Studiengang Eingebettete Systeme/Embedded Systems
Bachelor Eingebettete Systeme
Pflichtbereich
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131562
Programmierung 1
-
Smolka
Grundvorlesung
131605
Ringvorlesung Perspektiven der Informatik
-
Dozent*innen/Informatik
Vorlesung
131611
Einführung in Eingebettete Systeme
-
Reineke
Vorlesung / Übung
131671
Grundlagen der Elektrotechnik I (auch für Studierende des Juniorstudiums)
-
Dyczij-Edlinger
Vorlesung / Übung
133199
Höhere Mathematik für Ingenieure I
-
Bildhauer
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
133200
Höhere Mathematik für Ingenieure III
-
Speicher
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
Proseminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131093
Computational Pragmatics
-
Petukhova
Proseminar
133532
Algorithms and Complexity
-
Joux
Proseminar
133533
Privacy of Machine Learning
-
Zhang
Proseminar
133534
Trustworthy Machine Learning
-
Fritz
Proseminar
133535
Automated Testing and Debugging
-
Zeller
Proseminar
133538
Distributed Consensus
-
Loss
Proseminar
133690
Software Analytics
-
Apel
Proseminar
133914
Berechenbarkeits- und Komplexitätstheorie
-
Bläser
Proseminar
Wahlpflichtbereich I - "Informatik"
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131595
Grundzüge der Theoretischen Informatik
-
Bläser
Grundvorlesung
131596
Grundzüge von Algorithmen und Datenstrukturen
-
Seidel
Grundvorlesung
133613
Digital Transmission, Signal Processing
-
Herfet
Vorlesung / Übung
Wahlpflichtbereich II "Engineering"
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131713
Grundlagen der Automatisierungstechnik (Automatisierungstechnik I)
-
Frey
Vorlesung / Übung
131736
Grundlagen der Signalverarbeitung
-
Klakow
Vorlesung / Übung
131750
Elektronische Systeme
-
Möller
Vorlesung / Übung
131935
Mikroelektronik I
-
Xu
Vorlesung / Übung
Wahlpflichtbereich Stammvorlesungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131672
Theoretische Elektrotechnik II
-
Dyczij-Edlinger
Vorlesung / Übung
131674
Computational Electromagnetics 1
-
Dyczij-Edlinger
Vorlesung / Übung
131752
High Frequency Engineering (Hochfrequenztechnik)
-
Möller
Vorlesung / Übung
131820
Elektrische Antriebe (Antriebstechnik 1)
-
Nienhaus
,
Zarbock
,
König
Vorlesung / Übung
131827
Systemtheorie und Regelungstechnik 2
-
Rudolph
Vorlesung / Übung
131860
Mikrosystemtechnik (Mikrotechnologie)
-
Schütze
Vorlesung / Übung
131931
Aufbau- und Verbindungstechnik I
-
Wiese
Vorlesung / Übung
131933
Elektronik - Teilmodul Bauelemente
-
Wiese
Vorlesung / Übung
131934
Mikroelektronik III
-
Xu
Vorlesung / Übung
133206
Multimedia Transport (Future Media Internet)
-
Herfet
Vorlesung / Übung
133616
Security
-
Krombholz
,
Tippenhauer
Vorlesung / Übung
133617
Software Engineering
-
Apel
Vorlesung / Übung
133619
Verification
-
Finkbeiner
Vorlesung / Übung
133627
Operating Systems
-
Kaufmann, PhD
Vorlesung / Übung
133630
Neural Networks: Theory and Implementation
-
Klakow
Vorlesung / Übung
Freier Wahlpflichtbereich
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131078
Build your Own Transformer
-
Zhang
Softwareprojekt
133254
Ultrasound Imaging
-
Fournelle
Vorlesung
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
135229
Hands-On Networking
-
Herfet
Blockpraktikum
Master Embedded Systems
Stammvorlesungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131672
Theoretische Elektrotechnik II
-
Dyczij-Edlinger
Vorlesung / Übung
131674
Computational Electromagnetics 1
-
Dyczij-Edlinger
Vorlesung / Übung
131752
High Frequency Engineering (Hochfrequenztechnik)
-
Möller
Vorlesung / Übung
131820
Elektrische Antriebe (Antriebstechnik 1)
-
Nienhaus
,
Zarbock
,
König
Vorlesung / Übung
131827
Systemtheorie und Regelungstechnik 2
-
Rudolph
Vorlesung / Übung
131860
Mikrosystemtechnik (Mikrotechnologie)
-
Schütze
Vorlesung / Übung
131931
Aufbau- und Verbindungstechnik I
-
Wiese
Vorlesung / Übung
131933
Elektronik - Teilmodul Bauelemente
-
Wiese
Vorlesung / Übung
131934
Mikroelektronik III
-
Xu
Vorlesung / Übung
133206
Multimedia Transport (Future Media Internet)
-
Herfet
Vorlesung / Übung
133613
Digital Transmission, Signal Processing
-
Herfet
Vorlesung / Übung
133616
Security
-
Krombholz
,
Tippenhauer
Vorlesung / Übung
133617
Software Engineering
-
Apel
Vorlesung / Übung
133619
Verification
-
Finkbeiner
Vorlesung / Übung
133627
Operating Systems
-
Kaufmann, PhD
Vorlesung / Übung
133630
Neural Networks: Theory and Implementation
-
Klakow
Vorlesung / Übung
Vertiefungsvorlesungen
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131122
Statistik mit R
-
Demberg
Vorlesung / Übung
131613
Elements of Machine Learning
-
Vreeken
,
Valera Martinez
Vorlesung / Übung
131712
Soft Control (Rechnergestützte Methoden in der Automatisierungstechnik)
-
Frey
Vorlesung / Übung
131783
Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach
-
Wilhelm-Mauch
Vorlesung / Übung
132198
Project Management and Execution
-
Knop
,
Bayer
,
Rübel
Vorlesung
132547
Architectural Thinking for Intelligent Systems
-
Koehler
Weiterführende Vorlesung
133205
AI Planning
-
Hoffmann
Weiterführende Vorlesung
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
133614
Geometric Modeling
-
Zayer
Vorlesung / Übung
133615
Human Computer Interaction
-
Steimle
Vorlesung / Übung
133618
Algorithms and Data Structures
-
Seidel
,
Bringmann
Blockvorlesung
133625
Semantics
-
Dreyer
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
133669
Differential Equations in Image Processing and Computer Vision
-
Weickert
,
Mitarbeiter des Lehrstuhls
Vorlesung / Übung
133670
Image Acquisition Methods
-
Peter
Vorlesung / Übung
133671
Advanced Image Analysis
-
Peter
Vorlesung / Übung
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
Seminare
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131109
Machine Learning for Natural Language Processing
-
Klakow
Blockseminar
131753
Seminar zu Themen aus Elektronik, Schaltungs- und Hochfrequenztechnik
-
Möller
Seminar
131831
Seminar Systemtheorie und Regelungstechnik
-
Rudolph
Seminar
131863
Spezielle Probleme der Messtechnik
-
Schütze
Seminar
131874
Seminar Intelligente Materialsysteme (Seminar zur Unkonventionellen Aktorik)
-
Seelecke
Seminar
131905
Seminar zur Konstruktionstechnik (Produktentstehung) für Master
-
Vielhaber
Seminar
133204
Neural Networks in AI Planning
-
Hoffmann
Blockseminar
133348
Hybrid Learning and Reasoning
-
Klusch
,
Nonnengart
Seminar
133395
Causethical ML
-
Valera Martinez
Seminar
133396
Ray Tracing and Global Illumination
-
Slusallek
,
Grittmann
Seminar
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
133539
Computing the User
-
Feit
Seminar
133657
Formal Methods for AI Safety
-
Dimitrova
Seminar
133658
Topics in Optimization for Machine Learning
-
Stich
Blockseminar
133672
Seminar: Milestones and Advances in Image Analysis
-
Schrader
,
Weickert
Seminar
133691
Software Analytics
-
Apel
Seminar
133727
Seminar: Current Topics in Sequence Analysis
-
Rahmann
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
Freier Wahlbereich
Vst.-Nr.
Veranstaltung
Vst.-Art
Aktion
131078
Build your Own Transformer
-
Zhang
Softwareprojekt
133254
Ultrasound Imaging
-
Fournelle
Vorlesung
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
135229
Hands-On Networking
-
Herfet
Blockpraktikum