Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengang Medieninformatik

Bachelor, StO 2013

Einführungsveranstaltungen

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Pflichtbereich aus dem Fachbereich Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka 102 Grundvorlesung A 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel 102 Grundvorlesung A 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik 42 Vorlesung A 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova 97 Proseminar A 133532 Algorithms and Complexity   -   Joux 97 Proseminar A 133533 Privacy of Machine Learning   -   Zhang 97 Proseminar A 133534 Trustworthy Machine Learning   -   Fritz 97 Proseminar A 133535 Automated Testing and Debugging   -   Zeller 97 Proseminar A 133538 Distributed Consensus   -   Loss 97 Proseminar A 133673 Proseminar: Simulation der Welt   -   Schaefer ,  Schrader ,  Weickert 97 Proseminar A 133690 Software Analytics   -   Apel 97 Proseminar A 133914 Berechenbarkeits- und Komplexitätstheorie   -   Bläser 97 Proseminar A

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow 126 Blockseminar A 133204 Neural Networks in AI Planning   -   Hoffmann 126 Blockseminar A 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart 90 Seminar A 133395 Causethical ML   -   Valera Martinez 90 Seminar A 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann 90 Seminar A 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu 90 Seminar A 133525 Privacy of Machine Learning   -   Zhang 90 Seminar A 133526 Pruning deep neural networks for lottery tickets   -   Burkholz 90 Seminar A 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik 90 Seminar A 133529 Program Analysis for Vulnerability Detection   -   Staicu 90 Seminar A 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs 90 Seminar A 133531 eJustice und Datenschutz   -   Sorge 126 Blockseminar A 133539 Computing the User   -   Feit 90 Seminar A 133657 Formal Methods for AI Safety   -   Dimitrova 90 Seminar A 133658 Topics in Optimization for Machine Learning   -   Stich 126 Blockseminar A 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert 90 Seminar A 133691 Software Analytics   -   Apel 90 Seminar A 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann 90 Seminar A 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic 90 Seminar A 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer 90 Seminar A 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz 90 Seminar A 133905 Trustworthy Graph Neural Networks   -   Bojchevski 90 Seminar A 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian 90 Seminar A 133911 Hot Topics in Data Networks   -   Feldmann 90 Seminar A 133912 Complexity Theory   -   Bläser 90 Seminar A 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma 90 Seminar A 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld 90 Seminar A 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta 90 Seminar A

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann 94 Vorlesung / Übung A 133612 Computer Graphics   -   Slusallek 94 Vorlesung / Übung A 133613 Digital Transmission, Signal Processing   -   Herfet 94 Vorlesung / Übung A 133614 Geometric Modeling   -   Zayer 94 Vorlesung / Übung A 133616 Security   -   Krombholz ,  Tippenhauer 94 Vorlesung / Übung A 133617 Software Engineering   -   Apel 94 Vorlesung / Übung A 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann 117 Blockvorlesung A 133619 Verification   -   Finkbeiner 94 Vorlesung / Übung A 133625 Semantics   -   Dreyer 94 Vorlesung / Übung A 133627 Operating Systems   -   Kaufmann, PhD 94 Vorlesung / Übung A

Pflichtbereich aus dem Fachbereich Medieninformatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131609 Grundlagen der Medieninformatik   -   Krüger 102 Grundvorlesung A 131636 Medienprojekt   -   Krüger 144 Projektarbeit A 133615 Human Computer Interaction   -   Steimle 94 Vorlesung / Übung A

Pflichtbereich aus dem Fachbereich Psychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133118 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura 42 Vorlesung A 133543 Medienpsychologisches Seminar: Sozialpsychologische Aspekte der Medienpsychologie   -   Kilger 90 Seminar A

Wahlpflichtbereich

Sonstiges

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133254 Ultrasound Imaging   -   Fournelle 42 Vorlesung A 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity 42 Vorlesung A 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick 42 Vorlesung A 135229 Hands-On Networking   -   Herfet 116 Blockpraktikum A

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg 94 Vorlesung / Übung A 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez 94 Vorlesung / Übung A 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch 94 Vorlesung / Übung A 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel 42 Vorlesung A 133205 AI Planning   -   Hoffmann 147 Weiterführende Vorlesung A 133206 Multimedia Transport (Future Media Internet)   -   Herfet 94 Vorlesung / Übung A 133519 Side-Channel Attacks and Defenses   -   Schwarz 147 Weiterführende Vorlesung A 133520 Mobile Security   -   Bugiel 147 Weiterführende Vorlesung A 133521 Machine Learning in Cybersecurity   -   Fritz 147 Weiterführende Vorlesung A 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani 147 Weiterführende Vorlesung A 133523 Security Testing   -   Zeller 147 Weiterführende Vorlesung A 133524 Parameterized Verification   -   Jacobs 117 Blockvorlesung A 133630 Neural Networks: Theory and Implementation   -   Klakow 94 Vorlesung / Übung A 133640 Complexitiy of Bilinear Problems   -   Bläser 147 Weiterführende Vorlesung A 133643 Reinforcement Learning   -   Singla 147 Weiterführende Vorlesung A 133660 Systems Security   -   Holz 147 Weiterführende Vorlesung A 133667 Automated Knowledge Base Construction   -   Razniewski 117 Blockvorlesung A 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A 133670 Image Acquisition Methods   -   Peter 94 Vorlesung / Übung A 133671 Advanced Image Analysis   -   Peter 94 Vorlesung / Übung A 133716 Parameterized Algorithms   -   Marx ,  Sharma 147 Weiterführende Vorlesung A 133903 Metastability-Containing Synchronization Circuits   -   Lenzen 147 Weiterführende Vorlesung A 133999 Fine-Grained Complexity Theory   -   Bringmann 147 Weiterführende Vorlesung A 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer 183 Online-Vorlesung A 134176 Hands-On Dependability 117 Blockvorlesung A

Bachelor, StO 2020

Einführungsveranstaltungen

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Grundlagen der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133209 Mathematik für Informatiker I   -   Bender ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A

Grundlagen der Informatik / Praktika (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131562 Programmierung 1   -   Smolka 102 Grundvorlesung A 131596 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel 102 Grundvorlesung A 131605 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik 42 Vorlesung A

Grundlagen der Informatik (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131595 Grundzüge der Theoretischen Informatik   -   Bläser 102 Grundvorlesung A 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez 94 Vorlesung / Übung A

Spezialisierter Pflicht-Bereich der Medieninformatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg 94 Vorlesung / Übung A 131609 Grundlagen der Medieninformatik   -   Krüger 102 Grundvorlesung A 131636 Medienprojekt   -   Krüger 144 Projektarbeit A 133615 Human Computer Interaction   -   Steimle 94 Vorlesung / Übung A

Pflicht-Bereich der Psychologie

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133118 Modul Allgemeine Psychologie I: Modulelement 'Allgemeine Psychologie I: Wahrnehmung und Aufmerksamkeit'   -   Wentura 42 Vorlesung A 133543 Medienpsychologisches Seminar: Sozialpsychologische Aspekte der Medienpsychologie   -   Kilger 90 Seminar A

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131093 Computational Pragmatics   -   Petukhova 97 Proseminar A 133532 Algorithms and Complexity   -   Joux 97 Proseminar A 133533 Privacy of Machine Learning   -   Zhang 97 Proseminar A 133534 Trustworthy Machine Learning   -   Fritz 97 Proseminar A 133535 Automated Testing and Debugging   -   Zeller 97 Proseminar A 133538 Distributed Consensus   -   Loss 97 Proseminar A 133673 Proseminar: Simulation der Welt   -   Schaefer ,  Schrader ,  Weickert 97 Proseminar A 133690 Software Analytics   -   Apel 97 Proseminar A 133914 Berechenbarkeits- und Komplexitätstheorie   -   Bläser 97 Proseminar A

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow 126 Blockseminar A 133204 Neural Networks in AI Planning   -   Hoffmann 126 Blockseminar A 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart 90 Seminar A 133395 Causethical ML   -   Valera Martinez 90 Seminar A 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann 90 Seminar A 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu 90 Seminar A 133525 Privacy of Machine Learning   -   Zhang 90 Seminar A 133526 Pruning deep neural networks for lottery tickets   -   Burkholz 90 Seminar A 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik 90 Seminar A 133529 Program Analysis for Vulnerability Detection   -   Staicu 90 Seminar A 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs 90 Seminar A 133531 eJustice und Datenschutz   -   Sorge 126 Blockseminar A 133539 Computing the User   -   Feit 90 Seminar A 133657 Formal Methods for AI Safety   -   Dimitrova 90 Seminar A 133658 Topics in Optimization for Machine Learning   -   Stich 126 Blockseminar A 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert 90 Seminar A 133691 Software Analytics   -   Apel 90 Seminar A 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann 90 Seminar A 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic 90 Seminar A 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer 90 Seminar A 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz 90 Seminar A 133905 Trustworthy Graph Neural Networks   -   Bojchevski 90 Seminar A 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian 90 Seminar A 133911 Hot Topics in Data Networks   -   Feldmann 90 Seminar A 133912 Complexity Theory   -   Bläser 90 Seminar A 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma 90 Seminar A 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld 90 Seminar A 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta 90 Seminar A

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann 94 Vorlesung / Übung A 133612 Computer Graphics   -   Slusallek 94 Vorlesung / Übung A 133613 Digital Transmission, Signal Processing   -   Herfet 94 Vorlesung / Übung A 133614 Geometric Modeling   -   Zayer 94 Vorlesung / Übung A 133616 Security   -   Krombholz ,  Tippenhauer 94 Vorlesung / Übung A 133617 Software Engineering   -   Apel 94 Vorlesung / Übung A 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann 117 Blockvorlesung A 133619 Verification   -   Finkbeiner 94 Vorlesung / Übung A 133625 Semantics   -   Dreyer 94 Vorlesung / Übung A 133627 Operating Systems   -   Kaufmann, PhD 94 Vorlesung / Übung A

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch 94 Vorlesung / Übung A 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel 42 Vorlesung A 133205 AI Planning   -   Hoffmann 147 Weiterführende Vorlesung A 133206 Multimedia Transport (Future Media Internet)   -   Herfet 94 Vorlesung / Übung A 133519 Side-Channel Attacks and Defenses   -   Schwarz 147 Weiterführende Vorlesung A 133520 Mobile Security   -   Bugiel 147 Weiterführende Vorlesung A 133521 Machine Learning in Cybersecurity   -   Fritz 147 Weiterführende Vorlesung A 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani 147 Weiterführende Vorlesung A 133523 Security Testing   -   Zeller 147 Weiterführende Vorlesung A 133524 Parameterized Verification   -   Jacobs 117 Blockvorlesung A 133630 Neural Networks: Theory and Implementation   -   Klakow 94 Vorlesung / Übung A 133640 Complexitiy of Bilinear Problems   -   Bläser 147 Weiterführende Vorlesung A 133643 Reinforcement Learning   -   Singla 147 Weiterführende Vorlesung A 133660 Systems Security   -   Holz 147 Weiterführende Vorlesung A 133667 Automated Knowledge Base Construction   -   Razniewski 117 Blockvorlesung A 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A 133670 Image Acquisition Methods   -   Peter 94 Vorlesung / Übung A 133671 Advanced Image Analysis   -   Peter 94 Vorlesung / Übung A 133716 Parameterized Algorithms   -   Marx ,  Sharma 147 Weiterführende Vorlesung A 133903 Metastability-Containing Synchronization Circuits   -   Lenzen 147 Weiterführende Vorlesung A 133999 Fine-Grained Complexity Theory   -   Bringmann 147 Weiterführende Vorlesung A 134176 Hands-On Dependability 117 Blockvorlesung A

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133254 Ultrasound Imaging   -   Fournelle 42 Vorlesung A 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity 42 Vorlesung A 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick 42 Vorlesung A 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer 183 Online-Vorlesung A 135229 Hands-On Networking   -   Herfet 116 Blockpraktikum A

Master, StO 2013

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Pflichtbereich aus dem Fachbereich Informatik oder Medieninformatik

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow 126 Blockseminar A 133204 Neural Networks in AI Planning   -   Hoffmann 126 Blockseminar A 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart 90 Seminar A 133395 Causethical ML   -   Valera Martinez 90 Seminar A 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann 90 Seminar A 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu 90 Seminar A 133525 Privacy of Machine Learning   -   Zhang 90 Seminar A 133526 Pruning deep neural networks for lottery tickets   -   Burkholz 90 Seminar A 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik 90 Seminar A 133529 Program Analysis for Vulnerability Detection   -   Staicu 90 Seminar A 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs 90 Seminar A 133531 eJustice und Datenschutz   -   Sorge 126 Blockseminar A 133539 Computing the User   -   Feit 90 Seminar A 133657 Formal Methods for AI Safety   -   Dimitrova 90 Seminar A 133658 Topics in Optimization for Machine Learning   -   Stich 126 Blockseminar A 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert 90 Seminar A 133691 Software Analytics   -   Apel 90 Seminar A 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann 90 Seminar A 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic 90 Seminar A 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer 90 Seminar A 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz 90 Seminar A 133905 Trustworthy Graph Neural Networks   -   Bojchevski 90 Seminar A 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian 90 Seminar A 133911 Hot Topics in Data Networks   -   Feldmann 90 Seminar A 133912 Complexity Theory   -   Bläser 90 Seminar A 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma 90 Seminar A 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld 90 Seminar A 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta 90 Seminar A

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann 94 Vorlesung / Übung A 133612 Computer Graphics   -   Slusallek 94 Vorlesung / Übung A 133613 Digital Transmission, Signal Processing   -   Herfet 94 Vorlesung / Übung A 133614 Geometric Modeling   -   Zayer 94 Vorlesung / Übung A 133615 Human Computer Interaction   -   Steimle 94 Vorlesung / Übung A 133616 Security   -   Krombholz ,  Tippenhauer 94 Vorlesung / Übung A 133617 Software Engineering   -   Apel 94 Vorlesung / Übung A 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann 117 Blockvorlesung A 133619 Verification   -   Finkbeiner 94 Vorlesung / Übung A 133625 Semantics   -   Dreyer 94 Vorlesung / Übung A 133627 Operating Systems   -   Kaufmann, PhD 94 Vorlesung / Übung A

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg 94 Vorlesung / Übung A 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez 94 Vorlesung / Übung A 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch 94 Vorlesung / Übung A 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel 42 Vorlesung A 132547 Architectural Thinking for Intelligent Systems   -   Koehler 147 Weiterführende Vorlesung A 133205 AI Planning   -   Hoffmann 147 Weiterführende Vorlesung A 133206 Multimedia Transport (Future Media Internet)   -   Herfet 94 Vorlesung / Übung A 133519 Side-Channel Attacks and Defenses   -   Schwarz 147 Weiterführende Vorlesung A 133520 Mobile Security   -   Bugiel 147 Weiterführende Vorlesung A 133521 Machine Learning in Cybersecurity   -   Fritz 147 Weiterführende Vorlesung A 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani 147 Weiterführende Vorlesung A 133523 Security Testing   -   Zeller 147 Weiterführende Vorlesung A 133524 Parameterized Verification   -   Jacobs 117 Blockvorlesung A 133630 Neural Networks: Theory and Implementation   -   Klakow 94 Vorlesung / Übung A 133640 Complexitiy of Bilinear Problems   -   Bläser 147 Weiterführende Vorlesung A 133643 Reinforcement Learning   -   Singla 147 Weiterführende Vorlesung A 133660 Systems Security   -   Holz 147 Weiterführende Vorlesung A 133667 Automated Knowledge Base Construction   -   Razniewski 117 Blockvorlesung A 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A 133670 Image Acquisition Methods   -   Peter 94 Vorlesung / Übung A 133671 Advanced Image Analysis   -   Peter 94 Vorlesung / Übung A 133716 Parameterized Algorithms   -   Marx ,  Sharma 147 Weiterführende Vorlesung A 133903 Metastability-Containing Synchronization Circuits   -   Lenzen 147 Weiterführende Vorlesung A 133999 Fine-Grained Complexity Theory   -   Bringmann 147 Weiterführende Vorlesung A 134176 Hands-On Dependability 117 Blockvorlesung A

Soft Skills Wahlpflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133254 Ultrasound Imaging   -   Fournelle 42 Vorlesung A 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity 42 Vorlesung A 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick 42 Vorlesung A 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer 183 Online-Vorlesung A 135229 Hands-On Networking   -   Herfet 116 Blockpraktikum A

Master, StO 2020

		(--- Keine Veranstaltung in diesem Bereich gefunden ---)

Stammvorlesungen (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133610 Automated Reasoning   -   Waldmann 94 Vorlesung / Übung A 133612 Computer Graphics   -   Slusallek 94 Vorlesung / Übung A 133613 Digital Transmission, Signal Processing   -   Herfet 94 Vorlesung / Übung A 133614 Geometric Modeling   -   Zayer 94 Vorlesung / Übung A 133615 Human Computer Interaction   -   Steimle 94 Vorlesung / Übung A 133616 Security   -   Krombholz ,  Tippenhauer 94 Vorlesung / Übung A 133617 Software Engineering   -   Apel 94 Vorlesung / Übung A 133618 Algorithms and Data Structures   -   Seidel ,  Bringmann 117 Blockvorlesung A 133619 Verification   -   Finkbeiner 94 Vorlesung / Übung A 133625 Semantics   -   Dreyer 94 Vorlesung / Übung A 133627 Operating Systems   -   Kaufmann, PhD 94 Vorlesung / Übung A

Vertiefungsvorlesungen (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131122 Statistik mit R   -   Demberg 94 Vorlesung / Übung A 131613 Elements of Machine Learning   -   Vreeken ,  Valera Martinez 94 Vorlesung / Übung A 131783 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Wilhelm-Mauch 94 Vorlesung / Übung A 132198 Project Management and Execution   -   Knop ,  Bayer ,  Rübel 42 Vorlesung A 132547 Architectural Thinking for Intelligent Systems   -   Koehler 147 Weiterführende Vorlesung A 133205 AI Planning   -   Hoffmann 147 Weiterführende Vorlesung A 133206 Multimedia Transport (Future Media Internet)   -   Herfet 94 Vorlesung / Übung A 133519 Side-Channel Attacks and Defenses   -   Schwarz 147 Weiterführende Vorlesung A 133520 Mobile Security   -   Bugiel 147 Weiterführende Vorlesung A 133521 Machine Learning in Cybersecurity   -   Fritz 147 Weiterführende Vorlesung A 133522 Formal Methods in Security   -   Künnemann ,  Nemati ,  Patrignani 147 Weiterführende Vorlesung A 133523 Security Testing   -   Zeller 147 Weiterführende Vorlesung A 133524 Parameterized Verification   -   Jacobs 117 Blockvorlesung A 133630 Neural Networks: Theory and Implementation   -   Klakow 94 Vorlesung / Übung A 133640 Complexitiy of Bilinear Problems   -   Bläser 147 Weiterführende Vorlesung A 133643 Reinforcement Learning   -   Singla 147 Weiterführende Vorlesung A 133660 Systems Security   -   Holz 147 Weiterführende Vorlesung A 133667 Automated Knowledge Base Construction   -   Razniewski 117 Blockvorlesung A 133669 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls 94 Vorlesung / Übung A 133670 Image Acquisition Methods   -   Peter 94 Vorlesung / Übung A 133671 Advanced Image Analysis   -   Peter 94 Vorlesung / Übung A 133716 Parameterized Algorithms   -   Marx ,  Sharma 147 Weiterführende Vorlesung A 133903 Metastability-Containing Synchronization Circuits   -   Lenzen 147 Weiterführende Vorlesung A 133999 Fine-Grained Complexity Theory   -   Bringmann 147 Weiterführende Vorlesung A 134176 Hands-On Dependability 117 Blockvorlesung A

Seminare (Wahlpflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 131109 Machine Learning for Natural Language Processing   -   Klakow 126 Blockseminar A 133204 Neural Networks in AI Planning   -   Hoffmann 126 Blockseminar A 133348 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart 90 Seminar A 133395 Causethical ML   -   Valera Martinez 90 Seminar A 133396 Ray Tracing and Global Illumination   -   Slusallek ,  Grittmann 90 Seminar A 133398 Joint Advances in Web Security   -   Pellegrino ,  Stock ,  Staicu 90 Seminar A 133525 Privacy of Machine Learning   -   Zhang 90 Seminar A 133526 Pruning deep neural networks for lottery tickets   -   Burkholz 90 Seminar A 133528 Digital and Privacy-Preserving Signatures   -   Hanzlik 90 Seminar A 133529 Program Analysis for Vulnerability Detection   -   Staicu 90 Seminar A 133530 Formal Methods for Finding and Fixing Information Leaks   -   Jacobs 90 Seminar A 133531 eJustice und Datenschutz   -   Sorge 126 Blockseminar A 133539 Computing the User   -   Feit 90 Seminar A 133657 Formal Methods for AI Safety   -   Dimitrova 90 Seminar A 133658 Topics in Optimization for Machine Learning   -   Stich 126 Blockseminar A 133672 Seminar: Milestones and Advances in Image Analysis   -   Schrader ,  Weickert 90 Seminar A 133691 Software Analytics   -   Apel 90 Seminar A 133727 Seminar: Current Topics in Sequence Analysis   -   Rahmann 90 Seminar A 133808 Adversarial Reinforcement Learning   -   Singla ,  Radanovic 90 Seminar A 133900 Walk While Work - UX-Driven Development of Player Type-Centric Motion Games   -   Krüger ,  Lessel ,  Altmeyer 90 Seminar A 133904 Cur­rent To­pics in Systems Se­cu­ri­ty   -   Holz 90 Seminar A 133905 Trustworthy Graph Neural Networks   -   Bojchevski 90 Seminar A 133907 Interactive Touch Surfaces   -   Steimle ,  Pourjafarian 90 Seminar A 133911 Hot Topics in Data Networks   -   Feldmann 90 Seminar A 133912 Complexity Theory   -   Bläser 90 Seminar A 133943 Reading Group Algorithms: Continuous Methods for Combinatorial Problems   -   Mehlhorn ,  Sharma 90 Seminar A 134071 Adaptive Human Machine Interfaces for Autonomous Systems   -   Feld 90 Seminar A 134083 SupRTwin: Sensing, Unterstanding, and Provisioning of Robotic Digital Twins   -   Schwartz ,  Porta 90 Seminar A

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 133254 Ultrasound Imaging   -   Fournelle 42 Vorlesung A 133568 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity 42 Vorlesung A 133910 Raumschiff Erde - Klimaschutz   -   Kickelbick 42 Vorlesung A 134064 Decisions². Analoges und digitales Game Design   -   Pfeiffer 183 Online-Vorlesung A 135229 Hands-On Networking   -   Herfet 116 Blockpraktikum A