Vorlesungsverzeichnis (SoSe 2020)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity

Bachelor Cybersicherheit

Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 122203 Softwarepraktikum   -   Univ.-Prof. Dr. Apel Grundvorlesung     SoSe 2020 Informatik 122206 Big Data Engineering (vormals Informationssysteme)   -   Univ.-Prof. Dr. Dittrich Grundvorlesung     SoSe 2020 Informatik 122207 Nebenläufige Programmierung   -   Univ.-Prof. Dr.-Ing. Hermanns Grundvorlesung     SoSe 2020 Informatik 122208 Systemarchitektur   -   Univ.-Prof. Dr. Reineke Grundvorlesung     SoSe 2020 Informatik 122209 Programmierung 2   -   Univ.-Prof. Dr. Hack Grundvorlesung     SoSe 2020 Informatik 123728 Mathematik für Informatiker II   -   Prof. Dr. Schreyer ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung     SoSe 2020 Mathematik

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 123469 Funktionale Programmierung   -   Univ.-Prof. Dr. rer. nat. Smolka Proseminar     SoSe 2020 Informatik 123719 Proseminar: Maschinelles Lernen   -   Prof. Dr. Weickert ,  Ertel Proseminar     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik 123970 Software Engineering 2.0: AI for SE   -   Univ.-Prof. Dr. Apel Proseminar     SoSe 2020 Informatik 124024 Seminal papers in cryptography   -   Prof. Dr. Cremers Proseminar     SoSe 2020 Informatik 124179 Das Buch der Beweise   -   Univ.-Prof. Dr. Bläser Proseminar     SoSe 2020 Informatik 124185 Trustworthy Machine Learning   -   Prof. Dr. Fritz Proseminar     SoSe 2020 Informatik 124186 Cyber-Physical System Security Proseminar     SoSe 2020 Informatik 124187 INfluential PApers in Web Security   -   Dr. Pellegrino ,  Dr.-Ing. Stock Proseminar     SoSe 2020 Informatik 124196 Automated Testing and Debugging   -   Univ.-Professor Dr.-Ing. Zeller Proseminar     SoSe 2020 Informatik 124237 Algorithms and Complexity Proseminar     SoSe 2020 Informatik 124828 Artificial intelligence in relation to considerations from the perspective of history of science, philosophy (of nature)   -   Dr. Müller Proseminar     SoSe 2020 Informatik

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 121570 Machine Learning for Natural Language Processing   -   Univ.-Prof. Dr. rer. nat. Klakow Blockseminar     SoSe 2020 Sprachwissenschaft und Sprachtechnologie , Sprach- und Signalverarbeitung 121571 Multimodal Dialogue Systems   -   Dr. Petukhova Seminar     SoSe 2020 Sprachwissenschaft und Sprachtechnologie , Sprach- und Signalverarbeitung 123468 Advanced Fuzzing Techniques   -   Univ.-Professor Dr.-Ing. Zeller Seminar     SoSe 2020 Informatik 123594 Machine Learning and Formal Methods   -   Dr. Singla ,  Christakis Seminar     SoSe 2020 Informatik 123621 Software Engineering 2.0: AI for SE   -   Univ.-Prof. Dr. Apel Seminar     SoSe 2020 Informatik 123624 Hybrid Learning and Reasoning   -   Priv.-Doz. Dr. Klusch Seminar     SoSe 2020 Informatik 123704 Machine Learning for Harvesting Health and Life Science Knowledge   -   Dr. Ernst ,  Ph.D. Yates ,  Dr. Terolli Seminar     SoSe 2020 Informatik 123812 Seminar: Advances in Inpainting   -   Prof. Dr. Weickert ,  Andris ,  Tomasson Seminar     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik 123841 Advanced Topics in Cloud and Datacenter Systems   -   Ph.D. Mace Seminar     SoSe 2020 Informatik 123974 Artificial intelligence in relation to considerations from the perspective of history of science, philosophy (of nature) and ethics   -   Dr. Müller Seminar     SoSe 2020 Informatik 123997 Advanced Topics in Approximation Algorithms   -   Dr. Mömke Seminar     SoSe 2020 Informatik 124002 Refinement in program verification, compiler construction and cryptography   -   Dr. Künnemann ,  Dr. Nemati Seminar     SoSe 2020 Informatik 124014 Digitalisierung und Datenschutz   -   Univ.-Prof. Dr. Ing. Sorge Seminar     SoSe 2020 Informatik 124015 Legal Tech and eJustice   -   Univ.-Prof. Dr. Ing. Sorge Seminar     SoSe 2020 Informatik 124144 Computer Vision and Machine Learning for Computer Graphics   -   Univ.-Prof. Dr. Theobalt Seminar     SoSe 2020 Informatik 124174 Data-driven Approaches on Understanding Disinformation   -   Dr. Zhang Seminar     SoSe 2020 Informatik 124175 Selected Topics in Mobile Security   -   Dr.-Ing. Bugiel Seminar     SoSe 2020 Informatik 124194 Reading Group Algorithms   -   Univ.-Professor Dr.-Ing. Bringmann Seminar     SoSe 2020 Informatik 124266 Neural-Symbolic Computing   -   Univ.-Professor Dr. Finkbeiner Seminar     SoSe 2020 Informatik

Spezialisierter Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 123501 Grundlagen der Cybersicherheit 2   -   Univ.-Professor Dr. Rossow Vorlesung     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik 123525 Cryptography   -   Dr. Döttling Vorlesung / Übung     SoSe 2020 Informatik 124453 Cybersicherheitsprojekt   -   Dr.-Ing. Bugiel Projektarbeit     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik

Wahlpflichtbereich I

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 123965 Topics in Algorithmic Data Analysis (TADA)   -   Prof. Dr. Vreeken Weiterführende Vorlesung     SoSe 2020 Informatik 124180 Privacy Enhancing Technologies   -   Dr. Zhang Weiterführende Vorlesung     SoSe 2020 Informatik 124181 Usable Security   -   Dr. Krombholz Weiterführende Vorlesung     SoSe 2020 Informatik 124182 Physical-Layer Security   -   Dr. Tippenhauer Weiterführende Vorlesung     SoSe 2020 Informatik 124183 Secure Web Development   -   Dr. Pellegrino Blockvorlesung     SoSe 2020 Informatik

Wahlpflichtbereich II

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 123597 You can do IT. Start your idea! Entrepreneurship in IT and Maths Vorlesung     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik 123734 KI in Unternehmen (die Veranstaltung wird auf das WS 2020/21 verschoben! )   -   Univ.-Professor Dr.-Ing. Maaß ,  M.Sc. Kern Vorlesung / Übung     SoSe 2020 Wirtschaftswissenschaft 123821 Statistics Lab   -   Univ.-Professorin Prof. Dr. Wolf Vorlesung / Übung     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik

Master Entrepreneurial Cybersecurity

Stammvorlesungen im Bereich Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 123525 Cryptography   -   Dr. Döttling Vorlesung / Übung     SoSe 2020 Informatik 123532 Embedded Systems   -   Univ.-Professorin Dr.-Ing. Maggio Vorlesung / Übung     SoSe 2020 Informatik 123537 Data Networks   -   Univ.-Prof. Ph.D. Feldmann Vorlesung / Übung     SoSe 2020 Informatik

Vertiefungsvorlesungen Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 123965 Topics in Algorithmic Data Analysis (TADA)   -   Prof. Dr. Vreeken Weiterführende Vorlesung     SoSe 2020 Informatik 124180 Privacy Enhancing Technologies   -   Dr. Zhang Weiterführende Vorlesung     SoSe 2020 Informatik 124181 Usable Security   -   Dr. Krombholz Weiterführende Vorlesung     SoSe 2020 Informatik 124182 Physical-Layer Security   -   Dr. Tippenhauer Weiterführende Vorlesung     SoSe 2020 Informatik 124183 Secure Web Development   -   Dr. Pellegrino Blockvorlesung     SoSe 2020 Informatik

Stammvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 122116 Artificial Intelligence   -   Univ.-Professor Prof. Dr. Hoffmann ,  Prof. Dr. Koehler Vorlesung / Übung     SoSe 2020 Informatik 123526 Introduction to Computational Logic   -   Univ.-Prof. Dr. rer. nat. Smolka Vorlesung / Übung     SoSe 2020 Informatik 123531 Optimization   -   Dr. Karrenbauer Vorlesung / Übung     SoSe 2020 Informatik 123678 Image Processing and Computer Vision   -   Prof. Dr. Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung     SoSe 2020 Mathematik

Vertiefungsvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 121391 Statistical Natural Language Processing   -   Univ.-Prof. Dr. rer. nat. Klakow Vorlesung / Übung     SoSe 2020 Sprachwissenschaft und Sprachtechnologie , Sprach- und Signalverarbeitung 121407 Text-to-Speech Synthesis   -   Univ.-Prof. Dr. Möbius Vorlesung     SoSe 2020 Sprachwissenschaft und Sprachtechnologie , Phonetik und Phonologie 121574 Inferences in Artificial Intelligence and Computational Linguistics Vorlesung     SoSe 2020 Sprachwissenschaft und Sprachtechnologie , Mitarbeiter/innen 121897 Digital Signal Processing / Digitale Signalverarbeitung   -   Univ.-Prof. Dr. rer. nat. Klakow Vorlesung / Übung     SoSe 2020 Systems Engineering 122205 Interaktive Systeme (vorher Ubiquitous Media)   -   Univ.-Professor Prof. Dr. Steimle Grundvorlesung     SoSe 2020 Informatik 123470 Automata and Sequences   -   Ouaknine ,  Mazowiecki Weiterführende Vorlesung     SoSe 2020 Informatik 123546 High Level Computer Vision   -   Univ.-Prof. Dr. Schiele Weiterführende Vorlesung     SoSe 2020 Informatik 123591 Constructive Theory of Computation   -   Dr. Dudenhefner Weiterführende Vorlesung     SoSe 2020 Informatik 123592 Geometric Complexity Theory   -   Univ.-Prof. Dr. Bläser Weiterführende Vorlesung     SoSe 2020 Informatik 123596 Advance Coq Programming   -   Univ.-Prof. Dr. rer. nat. Smolka Blockvorlesung     SoSe 2020 Informatik 123614 Automated Reasoning II   -   Dr. Waldmann Weiterführende Vorlesung     SoSe 2020 Informatik 123622 Competitive Programming   -   Univ.-Prof. Dr. rer. nat. Weidenbach ,  Univ.-Prof. Dr. Bläser ,  Univ.-Professor Dr.-Ing. Bringmann Weiterführende Vorlesung     SoSe 2020 Informatik 123651 Space Informatics   -   Univ.-Prof. Dr.-Ing. Hermanns Blockvorlesung     SoSe 2020 Informatik 123652 Ethics for Nerds   -   Univ.-Prof. Dr.-Ing. Hermanns Weiterführende Vorlesung     SoSe 2020 Informatik 123690 Continuous Optimization (Kontinuierliche Optimierung)   -   Prof. Dr. Ochs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik 123714 Image Compression   -   Akad. Rat Dr. Peter ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung     SoSe 2020 Mathematik 123733 Data Science   -   Univ.-Professor Dr.-Ing. Maaß ,  M.Sc. Banowitz Vorlesung / Übung     SoSe 2020 Wirtschaftswissenschaft 123825 Question Answering Systems   -   Ph.D. Saha Roy Weiterführende Vorlesung     SoSe 2020 Informatik 123959 Realistic Image Synthesis   -   Univ.-Professor Prof. Dr. Slusallek Weiterführende Vorlesung     SoSe 2020 Informatik 124028 Gamification & Game Studies   -   Univ.-Prof. Dr. Krüger ,  Dr. Lessel Weiterführende Vorlesung     SoSe 2020 Informatik 124193 Sublinear Algorithms   -   Ph.D Nakos ,  Univ.-Professor Dr.-Ing. Bringmann Weiterführende Vorlesung     SoSe 2020 Informatik 124221 Audio/Visual Communication and Networks (Telecommunications 2)   -   Univ.-Prof. Dr.-Ing. Herfet Vorlesung / Übung     SoSe 2020 Informatik , Telecommunications. 124292 Computational Geometry   -   Univ.-Prof. Dr. Seidel Weiterführende Vorlesung     SoSe 2020 Informatik 124293 Parameterized Algorithms   -   Ph.D Misra ,  Ph.D Marx Weiterführende Vorlesung     SoSe 2020 Informatik

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 121570 Machine Learning for Natural Language Processing   -   Univ.-Prof. Dr. rer. nat. Klakow Blockseminar     SoSe 2020 Sprachwissenschaft und Sprachtechnologie , Sprach- und Signalverarbeitung 121571 Multimodal Dialogue Systems   -   Dr. Petukhova Seminar     SoSe 2020 Sprachwissenschaft und Sprachtechnologie , Sprach- und Signalverarbeitung 123468 Advanced Fuzzing Techniques   -   Univ.-Professor Dr.-Ing. Zeller Seminar     SoSe 2020 Informatik 123594 Machine Learning and Formal Methods   -   Dr. Singla ,  Christakis Seminar     SoSe 2020 Informatik 123621 Software Engineering 2.0: AI for SE   -   Univ.-Prof. Dr. Apel Seminar     SoSe 2020 Informatik 123624 Hybrid Learning and Reasoning   -   Priv.-Doz. Dr. Klusch Seminar     SoSe 2020 Informatik 123704 Machine Learning for Harvesting Health and Life Science Knowledge   -   Dr. Ernst ,  Ph.D. Yates ,  Dr. Terolli Seminar     SoSe 2020 Informatik 123812 Seminar: Advances in Inpainting   -   Prof. Dr. Weickert ,  Andris ,  Tomasson Seminar     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik 123841 Advanced Topics in Cloud and Datacenter Systems   -   Ph.D. Mace Seminar     SoSe 2020 Informatik 123863 Arbeits- und Organisationspsychologie & Informatik - Interdisziplinäres Seminar "How to build a social computer?“   -   Dr.-Ing. Gebhard ,  Univ.-Prof. Dr. rer. nat König Seminar     SoSe 2020 Psychologie belegen/abmelden 123974 Artificial intelligence in relation to considerations from the perspective of history of science, philosophy (of nature) and ethics   -   Dr. Müller Seminar     SoSe 2020 Informatik 123997 Advanced Topics in Approximation Algorithms   -   Dr. Mömke Seminar     SoSe 2020 Informatik 124002 Refinement in program verification, compiler construction and cryptography   -   Dr. Künnemann ,  Dr. Nemati Seminar     SoSe 2020 Informatik 124014 Digitalisierung und Datenschutz   -   Univ.-Prof. Dr. Ing. Sorge Seminar     SoSe 2020 Informatik 124015 Legal Tech and eJustice   -   Univ.-Prof. Dr. Ing. Sorge Seminar     SoSe 2020 Informatik 124144 Computer Vision and Machine Learning for Computer Graphics   -   Univ.-Prof. Dr. Theobalt Seminar     SoSe 2020 Informatik 124174 Data-driven Approaches on Understanding Disinformation   -   Dr. Zhang Seminar     SoSe 2020 Informatik 124175 Selected Topics in Mobile Security   -   Dr.-Ing. Bugiel Seminar     SoSe 2020 Informatik 124194 Reading Group Algorithms   -   Univ.-Professor Dr.-Ing. Bringmann Seminar     SoSe 2020 Informatik 124266 Neural-Symbolic Computing   -   Univ.-Professor Dr. Finkbeiner Seminar     SoSe 2020 Informatik

Freie Leistungspunkte

		Vst.-Nr. Veranstaltung Vst.-Art Semester FB / Einrichtung Aktion 123597 You can do IT. Start your idea! Entrepreneurship in IT and Maths Vorlesung     SoSe 2020 Fakultät MI: Fakultät für Mathematik und Informatik