Vorlesungsverzeichnis (WiSe 2020/21)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Informatik

Studiengänge Cybersicherheit / Entrepreneurial Cybersecurity

Bachelor Cybersicherheit, StO 2016

Einführungsveranstaltungen

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

Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126701 Programmierung 1   -   Finkbeiner Grundvorlesung 126703 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 126704 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 126819 Mathematik für Informatiker I   -   Apushkinskaya ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung Zur Zeit keine Belegung möglich

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 127181 Practical Foundations for Programming Languages   -   Hack ,  Rosemann ,  Kruse Proseminar 127182 User Studies in IT Security   -   Krombholz Proseminar 127184 Model Checking: Techniques and Applications   -   Jacobs Proseminar 127185 Algorithms and Complexity   -   Joux Proseminar 127270 Cyber-Physical Systems Security Proseminar 127373 Microarchitectural Attacks and Defenses   -   Reineke Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126966 Build your Own Transformer   -   Zhang Seminar 126967 Explainability Methods for Neural Networks   -   Pylypenko Seminar 127179 Data Privacy   -   Zhang Seminar 127186 Formal Methods for AI Safety   -   Dimitrova Seminar 127187 AI Planning – Lifted Planning, Problem Analysis and Grounding   -   Hoffmann Seminar 127188 Privacy-Preserving Signatures   -   Hanzlik Seminar 127189 Concurrency Theory   -   Hermanns Seminar 127190 Program Analysis for Vulnerability Detection   -   Staicu Seminar 127192 Monte Carlo Methods   -   Wolf ,  Backenköhler Seminar 127195 Space and Satellite Networking   -   Fraire Seminar 127246 Hot Topics in Data Networks   -   Feldmann Seminar 127298 Interactive Robotics   -   Steimle ,  Teyssier Seminar belegen/abmelden 127372 Microarchitectural Attacks and Defenses   -   Reineke Seminar 127507 Multi-agent Reinforcement Learning   -   Singla ,  Radanovic Seminar 128356 Quantencomputing im FinTechbereich   -   Maaß Seminar 128357 Resilienz-Management von Produktionsunternehmen   -   Maaß Seminar

Spezialisierter Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126722 Foundations of Cyber Security 1 (Grundlagen der Cybersicherheit 1)   -   Stock Grundvorlesung 126725 Cyber Security Project (Cybersicherheitsprojekt)   -   Bugiel Projektarbeit 126731 Security   -   Pellegrino ,  Tippenhauer Vorlesung / Übung

Wahlpflichtbereich I

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 127004 Recht der Cybersicherheit - Datenschutzrechtliche Aspekte   -   Sorge Weiterführende Vorlesung 127166 Web Security   -   Stock Weiterführende Vorlesung 127167 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 127168 Algorithms for Cryptanalysis   -   Joux Weiterführende Vorlesung 127170 Obfuscation, scientifically   -   Döttling Weiterführende Vorlesung 127171 Mobile Security   -   Bugiel Weiterführende Vorlesung 127172 Automated Debugging   -   Zeller Weiterführende Vorlesung 127173 Formal verification in Security   -   Künnemann Weiterführende Vorlesung 127198 Machine Learning in Cyber Security   -   Fritz Weiterführende Vorlesung

Wahlpflichtbereich II

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126705 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 126726 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 127240 GET IN THE GAME: Berufsbilder in der Games-Branche   -   Pfeiffer Vorlesung / Übung Zur Zeit keine Belegung möglich

Bachelor Cybersicherheit, StO 2020

Einführungsveranstaltungen

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

Grundlagen der Mathematik (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126819 Mathematik für Informatiker I   -   Apushkinskaya ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung Zur Zeit keine Belegung möglich

Grundlagen der Informatik / Praktika (Pflicht)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126701 Programmierung 1   -   Finkbeiner Grundvorlesung 126703 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 126704 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 126744 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung

Grundlagen der Informatik (Wahlpflicht)

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

Spezialisierter Pflicht-Bereich der Cyber Security

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126722 Foundations of Cyber Security 1 (Grundlagen der Cybersicherheit 1)   -   Stock Grundvorlesung 126725 Cyber Security Project (Cybersicherheitsprojekt)   -   Bugiel Projektarbeit

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 127182 User Studies in IT Security   -   Krombholz Proseminar 127184 Model Checking: Techniques and Applications   -   Jacobs Proseminar 127185 Algorithms and Complexity   -   Joux Proseminar 127270 Cyber-Physical Systems Security Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 127080 Legal Tech und eJustice   -   Vogelgesang ,  Sorge ,  Krüger Seminar 127179 Data Privacy   -   Zhang Seminar 127186 Formal Methods for AI Safety   -   Dimitrova Seminar 127188 Privacy-Preserving Signatures   -   Hanzlik Seminar 127190 Program Analysis for Vulnerability Detection   -   Staicu Seminar

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 127004 Recht der Cybersicherheit - Datenschutzrechtliche Aspekte   -   Sorge Weiterführende Vorlesung 127166 Web Security   -   Stock Weiterführende Vorlesung 127167 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 127168 Algorithms for Cryptanalysis   -   Joux Weiterführende Vorlesung 127170 Obfuscation, scientifically   -   Döttling Weiterführende Vorlesung 127171 Mobile Security   -   Bugiel Weiterführende Vorlesung 127172 Automated Debugging   -   Zeller Weiterführende Vorlesung 127173 Formal verification in Security   -   Künnemann Weiterführende Vorlesung 127198 Machine Learning in Cyber Security   -   Fritz Weiterführende Vorlesung

Freie Punkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126705 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 126726 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung 127240 GET IN THE GAME: Berufsbilder in der Games-Branche   -   Pfeiffer Vorlesung / Übung Zur Zeit keine Belegung möglich

Master Entrepreneurial Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126726 Ringvorlesung Cybersecurity / Perspectives of Entrepreneurial Cybersecurity   -   Bugiel ,  Pellegrino ,  Researchers and Entrepreneurs in Cybersecurity Vorlesung

Stammvorlesungen im Bereich Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126731 Security   -   Pellegrino ,  Tippenhauer Vorlesung / Übung 126743 Software Engineering   -   Apel Vorlesung / Übung

Vertiefungsvorlesungen Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 127004 Recht der Cybersicherheit - Datenschutzrechtliche Aspekte   -   Sorge Weiterführende Vorlesung 127166 Web Security   -   Stock Weiterführende Vorlesung 127167 Side-Channel Attacks and Defenses   -   Schwarz Weiterführende Vorlesung 127168 Algorithms for Cryptanalysis   -   Joux Weiterführende Vorlesung 127170 Obfuscation, scientifically   -   Döttling Weiterführende Vorlesung 127171 Mobile Security   -   Bugiel Weiterführende Vorlesung 127172 Automated Debugging   -   Zeller Weiterführende Vorlesung 127173 Formal verification in Security   -   Künnemann Weiterführende Vorlesung 127198 Machine Learning in Cyber Security   -   Fritz Weiterführende Vorlesung

Stammvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126605 Computer-Algebra: Groebner Basen und Anwendungen   -   Schreyer ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung Zur Zeit keine Belegung möglich 126728 Database Systems   -   Dittrich Vorlesung / Übung 126730 Automated Reasoning   -   Weidenbach Vorlesung / Übung 126732 Digital Transmission, Signal Processing (Telecommunications I)   -   Herfet Vorlesung / Übung 126733 Computer Graphics   -   Slusallek ,  Yazici ,  Devillers Vorlesung / Übung 126734 Human Computer Interaction   -   Steimle ,  Strohmeier Vorlesung / Übung 126735 Geometric Modeling   -   Zayer Vorlesung / Übung 126736 Compiler Construction   -   Hack Vorlesung / Übung 127163 Algorithms and Data Structures   -   Künnemann ,  Bringmann Vorlesung / Übung

Vertiefungsvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 124733 Statistik mit R   -   Demberg Vorlesung / Übung 126595 Einführung in die Quanteninformationsverarbeitung - Theo. Physikalisches Wahlpflicht (WP PW)   -   Wilhelm-Mauch ,  Kirchhoff Vorlesung / Übung Zur Zeit keine Belegung möglich 126744 Elements of Machine Learning   -   Vreeken ,  Valera Martinez Vorlesung / Übung 126746 AI Planning   -   Hoffmann Weiterführende Vorlesung 126754 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 126755 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 126774 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 126775 Probabilistic Machine Learning   -   Valera Martinez Weiterführende Vorlesung 126776 Advanced Topics in Computational Type Theory   -   Smolka Weiterführende Vorlesung 126781 Probabilistic Graphical Models and their Applications   -   Schiele Weiterführende Vorlesung 126794 Advanced Coq Programming   -   Smolka Blockvorlesung belegen/abmelden 127081 GPU Programming   -   Membarth ,  Kenzel ,  Slusallek Weiterführende Vorlesung 127196 Topics in Algorithmic Game Theory and Economics   -   Kleer Weiterführende Vorlesung 127209 Theory of Distributed Systems   -   Lenzen ,  Coupette Weiterführende Vorlesung 127243 Perception for Computer Graphics   -   Myszkowski Weiterführende Vorlesung 127260 Property Testing   -   Gouleakis Weiterführende Vorlesung 127262 How to Clock your Computer   -   Lenzen Weiterführende Vorlesung 127371 Program Analysis   -   Reineke Weiterführende Vorlesung 127465 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung Zur Zeit keine Belegung möglich 127466 Image Acquisition Methods   -   Peter Vorlesung / Übung Zur Zeit keine Belegung möglich 127467 Interpolation and Approximation for Visual Computing   -   Mitarbeiter des Lehrstuhls Vorlesung / Übung Zur Zeit keine Belegung möglich 127468 Advanced Image Analysis   -   Peter Vorlesung / Übung Zur Zeit keine Belegung möglich

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 126661 Quantum Computing   -   Schreyer Seminar Zur Zeit keine Belegung möglich 126687 Selected Topics in Question Answering   -   Saha Roy Seminar 126808 Software Engineering at Google, Microsoft, Facebook and Co.   -   Apel Proseminar / Seminar 126810 Light Field Representation Formats   -   Herfet Seminar 126868 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart ,  Feld Seminar 126966 Build your Own Transformer   -   Zhang Seminar 126967 Explainability Methods for Neural Networks   -   Pylypenko Seminar 127077 AI & HCI in Furniture Retail   -   Kosmalla ,  Zenner ,  Altmeyer ,  Kerber Seminar 127078 Commonsense knowledge extraction and consolidation   -   Razniewski Seminar 127079 Hybrid Machine Learning Approaches and Applications   -   Feld ,  Klusch Seminar 127080 Legal Tech und eJustice   -   Vogelgesang ,  Sorge ,  Krüger Seminar 127179 Data Privacy   -   Zhang Seminar 127186 Formal Methods for AI Safety   -   Dimitrova Seminar 127187 AI Planning – Lifted Planning, Problem Analysis and Grounding   -   Hoffmann Seminar 127188 Privacy-Preserving Signatures   -   Hanzlik Seminar 127189 Concurrency Theory   -   Hermanns Seminar 127190 Program Analysis for Vulnerability Detection   -   Staicu Seminar 127192 Monte Carlo Methods   -   Wolf ,  Backenköhler Seminar 127195 Space and Satellite Networking   -   Fraire Seminar 127246 Hot Topics in Data Networks   -   Feldmann Seminar 127298 Interactive Robotics   -   Steimle ,  Teyssier Seminar belegen/abmelden 127372 Microarchitectural Attacks and Defenses   -   Reineke Seminar 127507 Multi-agent Reinforcement Learning   -   Singla ,  Radanovic Seminar 128356 Quantencomputing im FinTechbereich   -   Maaß Seminar 128357 Resilienz-Management von Produktionsunternehmen   -   Maaß Seminar

Freie Leistungspunkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 127240 GET IN THE GAME: Berufsbilder in der Games-Branche   -   Pfeiffer Vorlesung / Übung Zur Zeit keine Belegung möglich