Vorlesungsverzeichnis (WiSe 2021/22)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Mathematik

Studiengang Master Mathematik und Informatik

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131404 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung 133683 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Master)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung

Stammvorlesungen der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133172 Algebra (Algebra)   -   Brandhorst ,  Tsakanikas Vorlesung / Übung 133173 Funktionalanalysis I (Functional Analysis I)   -   Hartz ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133176 Zufallsmatrizen (Random Matrices)   -   Speicher ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133177 Stochastik II (Stochastics 2)   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Vertiefungsvorlesungen der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133179 Numerical Integration   -   Eberle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133180 Algebraic Geometry II   -   Lazic ,  Xie Vorlesung / Übung 133181 Theorie und Numerik gewöhnlicher Differentialgleichungen   -   Rjasanow ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133182 Differentialgeometrie 1: Kurventheorie   -   Fuchs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133183 MIP*=RE   -   Schreyer ,  Mitarbeiter des Lehrstuhls Vorlesung 133184 Time Series Analysis   -   Zähle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 133312 Complex Geometry   -   Tsakanikas ,  Xie Vorlesung / Übung 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 133868 Universal C*-algebras and von Neumann algebras   -   Weber Vorlesung / Übung

Seminare der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133190 Seminar: Riemann Surfaces   -   Lazic ,  Tsakanikas ,  Xie Seminar 133191 Seminar: Recent Advances in Birational Geometry   -   Lazic Seminar 133192 Seminar: Nichtlineare Phänomene verstehen   -   Buchheit Seminar 133193 Seminar/Proseminar: Mathematische Modelle zur Corona-Pandemie/Mathematical Models for the Corona Pandemia   -   Schuster Seminar 133194 Proseminar: Erstellen Mathematischer Texte in Latex (VSi+MINT)   -   Weber Proseminar 133195 Oberseminar Algebraische Geometrie   -   Lazic ,  Schreyer Oberseminar 133196 Oberseminar Non-Commutative and Functional Analysis   -   Speicher ,  Weber ,  Hartz Oberseminar 133197 Bachelorseminar   -   Professoren/innen/Mathematik Seminar 133198 Masterseminar   -   Professoren/innen/Mathematik Seminar 133309 Seminar: Groups and automata   -   Bartholdi ,  Mitarbeiter des Lehrstuhls Seminar 133310 Seminar: Computer-assisted proofs   -   Bartholdi ,  Mitarbeiter des Lehrstuhls Seminar 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert Seminar 133867 Seminar: Seminar on nonlocal games   -   Weber Seminar 134200 Seminar: Darstellungstheorie endlicher Gruppen   -   Weitze-Schmithüsen ,  Mitarbeiter des Lehrstuhls Proseminar / Seminar

Stammvorlesungen der Informatik

		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 der Informatik

		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 132547 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 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 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 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 der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 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 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 Cur­rent To­pics in Systems Se­cu­ri­ty   -   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

Wahlpflicht

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 135229 Hands-On Networking   -   Herfet Blockpraktikum