Vorlesungsverzeichnis (WiSe 2022/23)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Lehramt

Informatik (LAB, LAG, LS1, LS1+2)

Fachspezifische Bestimmungen 2012

Einführungsveranstaltungen

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

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 139059 Programmierung 1   -   Univ.-Prof. Dr.-Ing. Hermanns Grundvorlesung     WiSe 2022/23 Informatik 139447 Grundzüge von Algorithmen und Datenstrukturen   -   Univ.-Professor Dr.-Ing. Bringmann Grundvorlesung     WiSe 2022/23 Informatik 139448 Grundzüge der Theoretischen Informatik   -   Univ.-Prof. Dr. Bläser Grundvorlesung     WiSe 2022/23 Informatik 139449 Ringvorlesung Perspektiven der Informatik   -   Prof. Dr. Rahmann ,  Dozent*innen/Informatik Vorlesung     WiSe 2022/23 Informatik

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 140201 Hybrid Learning and Reasoning   -   Priv.-Doz. Dr. Klusch ,  Dr. Müller ,  Dr. Nonnengart Seminar     WiSe 2022/23 Informatik 140204 Understanding of Configurable Software System   -   Univ.-Prof. Dr. Apel Seminar     WiSe 2022/23 Informatik 140216 Speech-based Adaptation of Personalized User Interfaces   -   Dr. Feld Seminar     WiSe 2022/23 Informatik 140327 AI for HCI   -   Univ.-Prof. Dr. Feit Seminar     WiSe 2022/23 Informatik 140328 Machine Learning for Program Analysis   -   Dr. Pellegrino ,  Dr Staicu ,  Prof. Dr. Holz Seminar     WiSe 2022/23 Informatik 140329 Privacy of Machine Learning   -   Dr. Zhang Seminar     WiSe 2022/23 Informatik 140330 Advanced Theory of Secure Messaging   -   Prof. Dr. Cremers Seminar     WiSe 2022/23 Informatik 140331 Machine Learning Security   -   Schönherr Seminar     WiSe 2022/23 Informatik 140333 Industrial Control System Security   -   Dr. Ghaeini Seminar     WiSe 2022/23 Informatik 140334 Applied Multiparty Computation and Fully Homomorphic Encryption   -   Dr. Kluczniak Seminar     WiSe 2022/23 Informatik 140335 Topics in Optimization for Machine Learning   -   Dr Stich Seminar     WiSe 2022/23 Informatik 140336 Pruning Deep Neural Networks for Lottery Tickets   -   Dr. Burkholz Seminar     WiSe 2022/23 Informatik 140337 Topics in Out-of-Distribution Generalization   -   Dr. Muandet Seminar     WiSe 2022/23 Informatik 140338 Verification of Distributed Systems   -   Dr. Jacobs Seminar     WiSe 2022/23 Informatik 140345 Aspects of Quantitative Program Verification   -   Univ.-Professor Univ.-Prof. Dr. Kaminski Seminar     WiSe 2022/23 Informatik 140346 Legal Tech und eJustice   -   Univ.-Prof. Dr. Ing. Sorge Seminar     WiSe 2022/23 Informatik 140355 Games User Research   -   Dr. Lessel ,  Altmeyer Seminar     WiSe 2022/23 Informatik 140492 Hot Topics in Data Networks   -   Univ.-Prof. Ph.D. Feldmann Seminar     WiSe 2022/23 Informatik 140603 Ray Tracing and Global Illumination   -   Univ.-Professor Prof. Dr. Slusallek ,  Grittmann Seminar     WiSe 2022/23 Informatik 140604 The Web Security Seminar   -   Dr. Pellegrino ,  Dr.-Ing. Stock Seminar     WiSe 2022/23 Informatik 140605 Interactive Robotics   -   Univ.-Professor Prof. Dr. Steimle Seminar     WiSe 2022/23 Informatik 140606 Alignment-free Sequence Analysis Algorithms   -   Prof. Dr. Rahmann Seminar     WiSe 2022/23 Informatik 140607 Machine Learning meets Communication Networks   -   Univ.-Prof. Dr.-Ing. Herfet Seminar     WiSe 2022/23 Informatik 140608 Seminar: Inpainting in Image Analysis   -   Prof. Dr. Weickert ,  Schaefer Seminar     WiSe 2022/23 Informatik 140641 Deep Reinforcement Learning   -   Univ.-Professorin Prof. Dr. Wolf Seminar     WiSe 2022/23 Informatik 140653 Machine Learning for Software Development   -   Univ.-Professor Dr.-Ing. Zeller Seminar     WiSe 2022/23 Informatik 140680 3D Object Representation and Reconstruction with Machine Learning   -   Univ.-Professor Ilg Seminar     WiSe 2022/23 Informatik 141077 Space Informatics   -   Univ.-Prof. Dr.-Ing. Hermanns ,  Dr. Fraire Seminar     WiSe 2022/23 Informatik 141078 Embedded Systems Security   -   Abbasi Seminar     WiSe 2022/23 Informatik 141079 Microarchitectural Security via Hardware-Software Contracts   -   Univ.-Prof. Dr. Reineke Seminar     WiSe 2022/23 Informatik 141091 Deep Generative Diffusion Models   -   Univ.-Professorin Prof. Dr. Wolf ,  M.Sc Großmann Seminar     WiSe 2022/23 Informatik 141825 Intelligent Systems for Supporting Human Learning   -   Univ.-Professor Nagashima Blockseminar     WiSe 2022/23 Informatik 141947 Counting Complexity   -   Univ.-Prof. Dr. Bläser Blockseminar     WiSe 2022/23 Informatik

Wahlpflichtbereich 1

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

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 137850 Statistik mit R   -   Univ.-Professor Dr. Demberg Vorlesung / Übung     WiSe 2022/23 Sprachwissenschaft und Sprachtechnologie , Informatik und Computerlinguistik belegen/abmelden 138267 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Univ.-Prof. Dr. rer. nat. Wilhelm-Mauch Vorlesung / Übung     WiSe 2022/23 Physik 139049 Approximation Algorithms   -   Dr. habil. Spoerhase Weiterführende Vorlesung     WiSe 2022/23 Informatik 139470 Compiler Construction   -   Univ.-Prof. Dr. Hack Vorlesung / Übung     WiSe 2022/23 Informatik 139471 Database Systems   -   Univ.-Prof. Dr. Dittrich Vorlesung / Übung     WiSe 2022/23 Informatik 139472 Automated Reasoning   -   Univ.-Prof. Dr. rer. nat. Weidenbach ,  Dr. Bromberger ,  Dr. Möhle Vorlesung / Übung     WiSe 2022/23 Informatik 139473 Computer Graphics   -   Univ.-Professor Prof. Dr. Slusallek Vorlesung / Übung     WiSe 2022/23 Informatik 139474 Digital Transmission, Signal Processing   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     WiSe 2022/23 Informatik 139475 Human Computer Interaction   -   Dr. Schmitz Vorlesung / Übung     WiSe 2022/23 Informatik 139476 Security   -   Dr.-Ing. Bugiel ,  Prof. Dr. Holz Vorlesung / Übung     WiSe 2022/23 Informatik 139477 Software Engineering   -   Univ.-Prof. Dr. Apel Vorlesung / Übung     WiSe 2022/23 Informatik 139478 Algorithms and Data Structures   -   Univ.-Prof. Dr. Seidel Vorlesung / Übung     WiSe 2022/23 Informatik 139479 Complexity Theory   -   Univ.-Prof. Dr. Bläser Vorlesung / Übung     WiSe 2022/23 Informatik 139530 Quantum Artificial Intelligence   -   Priv.-Doz. Dr. Klusch ,  Dr. Macaluso ,  Univ.-Professor Prof. Dr. Slusallek Weiterführende Vorlesung     WiSe 2022/23 Informatik 139791 Project Management and Execution   -   Dipl.-Inform. Knop ,  Dipl.-Math. Bayer ,  M.Sc. Rübel Vorlesung     WiSe 2022/23 Wirtschaftswissenschaft 139873 Neural Networks: Theory and Implementation   -   Univ.-Prof. Dr. rer. nat. Klakow Vorlesung / Übung     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik 139874 Multimedia Transport (Future Media Internet)   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     WiSe 2022/23 Informatik , Telecommunications. 140156 Social Computing (Affective Computing)   -   Dr.-Ing. Gebhard ,  Priv.-Doz. Dr. Tsovaltzi ,  MSc Müller ,  Dr. Nunnari Weiterführende Vorlesung     WiSe 2022/23 Informatik 140339 Usable Security and Privacy (vormals Usable Security)   -   Dr. Krombholz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140348 Systems Security   -   Prof. Dr. Holz ,  Abbasi Weiterführende Vorlesung     WiSe 2022/23 Informatik 140349 Reactive Synthesis   -   Dr Dimitrova Weiterführende Vorlesung     WiSe 2022/23 Informatik 140351 Side-Channel Attacks and Defenses   -   Dr. Schwarz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140352 Automata, Games, and Verification   -   Univ.-Professor Dr. Finkbeiner Weiterführende Vorlesung     WiSe 2022/23 Informatik 140353 Clock Synchronization and Adversarial Fault Tolerance   -   Dr. Lenzen Weiterführende Vorlesung     WiSe 2022/23 Informatik 140354 Automated Debugging   -   Univ.-Professor Dr.-Ing. Zeller Weiterführende Vorlesung     WiSe 2022/23 Informatik 140357 Generic and Generative Software Design   -   Univ.-Prof. Dr. Apel Weiterführende Vorlesung     WiSe 2022/23 Informatik 140420 Reinforcement Learning   -   Dr. Singla ,  Ph.D. Radanovic Weiterführende Vorlesung     WiSe 2022/23 Informatik 140423 Coding Theory   -   Dr. Döttling Weiterführende Vorlesung     WiSe 2022/23 Informatik 140434 Randomized Algorithms and Probabilistic Analysis of Algorithms   -   Dr. Wellnitz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140487 AI Planning Weiterführende Vorlesung     WiSe 2022/23 Informatik 140488 Hands-On Dependability   -   Dr.-Ing. Schmidt Weiterführende Vorlesung     WiSe 2022/23 Informatik 140610 Empirical Software Engineering Research   -   Univ.-Prof. Dr. Apel Blockvorlesung     WiSe 2022/23 Informatik 140762 Computer Algebra   -   Prof. Dr. Bartholdi Vorlesung / Übung     WiSe 2022/23 Informatik 140865 Program Analysis   -   Univ.-Prof. Dr. Reineke Weiterführende Vorlesung     WiSe 2022/23 Informatik

Fachspezifische Bestimmungen 2020

Einführungsveranstaltungen

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

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 138288 Mathematik für Informatik-Lehramt 1   -   Lethen Vorlesung / Übung     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik 139059 Programmierung 1   -   Univ.-Prof. Dr.-Ing. Hermanns Grundvorlesung     WiSe 2022/23 Informatik 139448 Grundzüge der Theoretischen Informatik   -   Univ.-Prof. Dr. Bläser Grundvorlesung     WiSe 2022/23 Informatik 139449 Ringvorlesung Perspektiven der Informatik   -   Prof. Dr. Rahmann ,  Dozent*innen/Informatik Vorlesung     WiSe 2022/23 Informatik 140654 Ausgewählte Themen für das Lehramt Informatik   -   Univ.-Professorin Prof. Dr. Wolf Seminar     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik

Wahlpflichtbereich 1

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

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 139447 Grundzüge von Algorithmen und Datenstrukturen   -   Univ.-Professor Dr.-Ing. Bringmann Grundvorlesung     WiSe 2022/23 Informatik 139871 Elements of Machine Learning   -   Prof. Dr. Vreeken ,  Dr. Bojchevski Vorlesung / Übung     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik

Wahlpflichtbereich 3

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 137850 Statistik mit R   -   Univ.-Professor Dr. Demberg Vorlesung / Übung     WiSe 2022/23 Sprachwissenschaft und Sprachtechnologie , Informatik und Computerlinguistik belegen/abmelden 138267 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Univ.-Prof. Dr. rer. nat. Wilhelm-Mauch Vorlesung / Übung     WiSe 2022/23 Physik 139049 Approximation Algorithms   -   Dr. habil. Spoerhase Weiterführende Vorlesung     WiSe 2022/23 Informatik 139470 Compiler Construction   -   Univ.-Prof. Dr. Hack Vorlesung / Übung     WiSe 2022/23 Informatik 139471 Database Systems   -   Univ.-Prof. Dr. Dittrich Vorlesung / Übung     WiSe 2022/23 Informatik 139472 Automated Reasoning   -   Univ.-Prof. Dr. rer. nat. Weidenbach ,  Dr. Bromberger ,  Dr. Möhle Vorlesung / Übung     WiSe 2022/23 Informatik 139473 Computer Graphics   -   Univ.-Professor Prof. Dr. Slusallek Vorlesung / Übung     WiSe 2022/23 Informatik 139474 Digital Transmission, Signal Processing   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     WiSe 2022/23 Informatik 139475 Human Computer Interaction   -   Dr. Schmitz Vorlesung / Übung     WiSe 2022/23 Informatik 139476 Security   -   Dr.-Ing. Bugiel ,  Prof. Dr. Holz Vorlesung / Übung     WiSe 2022/23 Informatik 139477 Software Engineering   -   Univ.-Prof. Dr. Apel Vorlesung / Übung     WiSe 2022/23 Informatik 139478 Algorithms and Data Structures   -   Univ.-Prof. Dr. Seidel Vorlesung / Übung     WiSe 2022/23 Informatik 139479 Complexity Theory   -   Univ.-Prof. Dr. Bläser Vorlesung / Übung     WiSe 2022/23 Informatik 139530 Quantum Artificial Intelligence   -   Priv.-Doz. Dr. Klusch ,  Dr. Macaluso ,  Univ.-Professor Prof. Dr. Slusallek Weiterführende Vorlesung     WiSe 2022/23 Informatik 139791 Project Management and Execution   -   Dipl.-Inform. Knop ,  Dipl.-Math. Bayer ,  M.Sc. Rübel Vorlesung     WiSe 2022/23 Wirtschaftswissenschaft 139873 Neural Networks: Theory and Implementation   -   Univ.-Prof. Dr. rer. nat. Klakow Vorlesung / Übung     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik 139874 Multimedia Transport (Future Media Internet)   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     WiSe 2022/23 Informatik , Telecommunications. 140156 Social Computing (Affective Computing)   -   Dr.-Ing. Gebhard ,  Priv.-Doz. Dr. Tsovaltzi ,  MSc Müller ,  Dr. Nunnari Weiterführende Vorlesung     WiSe 2022/23 Informatik 140339 Usable Security and Privacy (vormals Usable Security)   -   Dr. Krombholz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140348 Systems Security   -   Prof. Dr. Holz ,  Abbasi Weiterführende Vorlesung     WiSe 2022/23 Informatik 140349 Reactive Synthesis   -   Dr Dimitrova Weiterführende Vorlesung     WiSe 2022/23 Informatik 140351 Side-Channel Attacks and Defenses   -   Dr. Schwarz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140352 Automata, Games, and Verification   -   Univ.-Professor Dr. Finkbeiner Weiterführende Vorlesung     WiSe 2022/23 Informatik 140353 Clock Synchronization and Adversarial Fault Tolerance   -   Dr. Lenzen Weiterführende Vorlesung     WiSe 2022/23 Informatik 140354 Automated Debugging   -   Univ.-Professor Dr.-Ing. Zeller Weiterführende Vorlesung     WiSe 2022/23 Informatik 140357 Generic and Generative Software Design   -   Univ.-Prof. Dr. Apel Weiterführende Vorlesung     WiSe 2022/23 Informatik 140420 Reinforcement Learning   -   Dr. Singla ,  Ph.D. Radanovic Weiterführende Vorlesung     WiSe 2022/23 Informatik 140423 Coding Theory   -   Dr. Döttling Weiterführende Vorlesung     WiSe 2022/23 Informatik 140434 Randomized Algorithms and Probabilistic Analysis of Algorithms   -   Dr. Wellnitz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140487 AI Planning Weiterführende Vorlesung     WiSe 2022/23 Informatik 140488 Hands-On Dependability   -   Dr.-Ing. Schmidt Weiterführende Vorlesung     WiSe 2022/23 Informatik 140610 Empirical Software Engineering Research   -   Univ.-Prof. Dr. Apel Blockvorlesung     WiSe 2022/23 Informatik 140762 Computer Algebra   -   Prof. Dr. Bartholdi Vorlesung / Übung     WiSe 2022/23 Informatik 140865 Program Analysis   -   Univ.-Prof. Dr. Reineke Weiterführende Vorlesung     WiSe 2022/23 Informatik

Fachspezifische Bestimmungen 2022

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 139059 Programmierung 1   -   Univ.-Prof. Dr.-Ing. Hermanns Grundvorlesung     WiSe 2022/23 Informatik 139448 Grundzüge der Theoretischen Informatik   -   Univ.-Prof. Dr. Bläser Grundvorlesung     WiSe 2022/23 Informatik 139449 Ringvorlesung Perspektiven der Informatik   -   Prof. Dr. Rahmann ,  Dozent*innen/Informatik Vorlesung     WiSe 2022/23 Informatik 140654 Ausgewählte Themen für das Lehramt Informatik   -   Univ.-Professorin Prof. Dr. Wolf Seminar     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik 140711 Grundlagen von Informatiksystemen   -   Dr. Kleinbauer Vorlesung / Übung     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik

Wahlpflichtbereich 1

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 139447 Grundzüge von Algorithmen und Datenstrukturen   -   Univ.-Professor Dr.-Ing. Bringmann Grundvorlesung     WiSe 2022/23 Informatik 139871 Elements of Machine Learning   -   Prof. Dr. Vreeken ,  Dr. Bojchevski Vorlesung / Übung     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 137850 Statistik mit R   -   Univ.-Professor Dr. Demberg Vorlesung / Übung     WiSe 2022/23 Sprachwissenschaft und Sprachtechnologie , Informatik und Computerlinguistik belegen/abmelden 138267 Einführung in die Quanteninformationsverarbeitung - Theoretisch Physikalisches Wahlpflichtfach   -   Univ.-Prof. Dr. rer. nat. Wilhelm-Mauch Vorlesung / Übung     WiSe 2022/23 Physik 139049 Approximation Algorithms   -   Dr. habil. Spoerhase Weiterführende Vorlesung     WiSe 2022/23 Informatik 139470 Compiler Construction   -   Univ.-Prof. Dr. Hack Vorlesung / Übung     WiSe 2022/23 Informatik 139471 Database Systems   -   Univ.-Prof. Dr. Dittrich Vorlesung / Übung     WiSe 2022/23 Informatik 139472 Automated Reasoning   -   Univ.-Prof. Dr. rer. nat. Weidenbach ,  Dr. Bromberger ,  Dr. Möhle Vorlesung / Übung     WiSe 2022/23 Informatik 139473 Computer Graphics   -   Univ.-Professor Prof. Dr. Slusallek Vorlesung / Übung     WiSe 2022/23 Informatik 139474 Digital Transmission, Signal Processing   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     WiSe 2022/23 Informatik 139475 Human Computer Interaction   -   Dr. Schmitz Vorlesung / Übung     WiSe 2022/23 Informatik 139476 Security   -   Dr.-Ing. Bugiel ,  Prof. Dr. Holz Vorlesung / Übung     WiSe 2022/23 Informatik 139477 Software Engineering   -   Univ.-Prof. Dr. Apel Vorlesung / Übung     WiSe 2022/23 Informatik 139478 Algorithms and Data Structures   -   Univ.-Prof. Dr. Seidel Vorlesung / Übung     WiSe 2022/23 Informatik 139479 Complexity Theory   -   Univ.-Prof. Dr. Bläser Vorlesung / Übung     WiSe 2022/23 Informatik 139530 Quantum Artificial Intelligence   -   Priv.-Doz. Dr. Klusch ,  Dr. Macaluso ,  Univ.-Professor Prof. Dr. Slusallek Weiterführende Vorlesung     WiSe 2022/23 Informatik 139791 Project Management and Execution   -   Dipl.-Inform. Knop ,  Dipl.-Math. Bayer ,  M.Sc. Rübel Vorlesung     WiSe 2022/23 Wirtschaftswissenschaft 139873 Neural Networks: Theory and Implementation   -   Univ.-Prof. Dr. rer. nat. Klakow Vorlesung / Übung     WiSe 2022/23 Fakultät MI: Fakultät für Mathematik und Informatik 139874 Multimedia Transport (Future Media Internet)   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     WiSe 2022/23 Informatik , Telecommunications. 140156 Social Computing (Affective Computing)   -   Dr.-Ing. Gebhard ,  Priv.-Doz. Dr. Tsovaltzi ,  MSc Müller ,  Dr. Nunnari Weiterführende Vorlesung     WiSe 2022/23 Informatik 140339 Usable Security and Privacy (vormals Usable Security)   -   Dr. Krombholz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140348 Systems Security   -   Prof. Dr. Holz ,  Abbasi Weiterführende Vorlesung     WiSe 2022/23 Informatik 140349 Reactive Synthesis   -   Dr Dimitrova Weiterführende Vorlesung     WiSe 2022/23 Informatik 140351 Side-Channel Attacks and Defenses   -   Dr. Schwarz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140352 Automata, Games, and Verification   -   Univ.-Professor Dr. Finkbeiner Weiterführende Vorlesung     WiSe 2022/23 Informatik 140353 Clock Synchronization and Adversarial Fault Tolerance   -   Dr. Lenzen Weiterführende Vorlesung     WiSe 2022/23 Informatik 140354 Automated Debugging   -   Univ.-Professor Dr.-Ing. Zeller Weiterführende Vorlesung     WiSe 2022/23 Informatik 140357 Generic and Generative Software Design   -   Univ.-Prof. Dr. Apel Weiterführende Vorlesung     WiSe 2022/23 Informatik 140420 Reinforcement Learning   -   Dr. Singla ,  Ph.D. Radanovic Weiterführende Vorlesung     WiSe 2022/23 Informatik 140423 Coding Theory   -   Dr. Döttling Weiterführende Vorlesung     WiSe 2022/23 Informatik 140434 Randomized Algorithms and Probabilistic Analysis of Algorithms   -   Dr. Wellnitz Weiterführende Vorlesung     WiSe 2022/23 Informatik 140487 AI Planning Weiterführende Vorlesung     WiSe 2022/23 Informatik 140488 Hands-On Dependability   -   Dr.-Ing. Schmidt Weiterführende Vorlesung     WiSe 2022/23 Informatik 140610 Empirical Software Engineering Research   -   Univ.-Prof. Dr. Apel Blockvorlesung     WiSe 2022/23 Informatik 140762 Computer Algebra   -   Prof. Dr. Bartholdi Vorlesung / Übung     WiSe 2022/23 Informatik 140865 Program Analysis   -   Univ.-Prof. Dr. Reineke Weiterführende Vorlesung     WiSe 2022/23 Informatik