Vorlesungsverzeichnis (SoSe 2019)

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 Aktion 116187 Programmierung 2   -   Hoffmann Grundvorlesung 116188 Systemarchitektur   -   Reineke Grundvorlesung 116189 Nebenläufige Programmierung   -   Hermanns Grundvorlesung 116190 Informationssysteme   -   Dittrich Grundvorlesung 116295 Softwarepraktikum   -   Apel Grundvorlesung 116948 Mathematik für Informatiker II   -   Groves ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116873 Proseminar: Spieltheorie   -   Weickert ,  Wewior Proseminar 117212 Hacking   -   Bugiel ,  Sorge ,  Stock Proseminar 117214 Privacy by Design   -   Sorge Proseminar 117215 Biomedical Privacy   -   Backes ,  Zhang Proseminar 117360 Funktionale Programmierung   -   Smolka ,  Kunze ,  Stark Proseminar 117640 Softwarezuverlässigkeit   -   Finkbeiner Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114412 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 114413 Mathematics for deep learning   -   Venant ,  Groschwitz Seminar 114414 Multimodal Dialogue Systems   -   Petukhova Blockseminar 114415 Neural Question Answering   -   Neumann Seminar 114418 Structured neural models   -   Koller Seminar 116099 Innovative Retail Technologies   -   Krüger ,  Lessel ,  Speicher ,  Kosmalla Blockseminar 116467 Advanced Program Analysis   -   Darulova Blockseminar 116763 Discourse Relations: Cognition, Resources and NLP   -   Yung Seminar 116813 Advances in Machine Translation   -   Zhang Seminar 116814 Embeddings for Natural Language Processing and Information Retrieval   -   España i Bonet Seminar 116876 Seminar: Optimisation for Machine Learning   -   Ochs Seminar 116877 Seminar: Inverse Problems in Image Processing   -   Bergerhoff ,  Weickert Seminar 116956 Semantic Deep Learning   -   Klusch Seminar 116959 Strafrechtliche Betrachtung von Cyberangriffen Interdisziplinäres Seminar für Informatiker und Juristen   -   Sorge ,  Vogelgesang ,  Krüger Seminar 116960 Motion Synthesis for Virtual Characters   -   Fischer Seminar 117107 Legal Tech - Interdisziplinäres Seminar für Informatiker und Juristen   -   Sorge ,  Krüger ,  Vogelgesang ,  Hessel Seminar 117120 Real-Time Rendering   -   Slusallek ,  Lemme Seminar 117146 Aktuelle Probleme von Recht und Digitalisierung des Straßenverkehrs   -   Sorge ,  Krüger ,  Vogelgesang Seminar 117205 Selected Topics in Mobile Security   -   Bugiel Seminar 117207 Secure Compilation   -   Patrignani Seminar 117208 Accountability in Theory and Practice   -   Künnemann ,  Nemati Seminar 117210 Comparing Fuzzing Techniques   -   Zeller Seminar 117211 Advanced Topics in Cryptography Seminar 117422 Seminar: Machine Learning   -   Guimarães Projektseminar 117429 Computer Vision and Machine Learning for Computer Graphics   -   Theobalt Seminar 117636 Reading Group in Algorithms   -   Mehlhorn Seminar 117642 Hybrid Systems   -   Finkbeiner Blockseminar 117666 Programming Languages and Compilers for Machine Learning   -   Hack Seminar 120682 Designing Usable Security   -   Krombholz Seminar

Spezialisierter Pflichtbereich

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116426 Cryptography   -   Döttling Vorlesung / Übung 117172 Grundlagen der Cybersicherheit 2   -   Rossow Vorlesung

Wahlpflichtbereich I

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116428 Topics in Algorithmic Data Analysis   -   Vreeken Weiterführende Vorlesung 117124 Privacy Enhancing Technologies   -   Zhang Weiterführende Vorlesung 117217 Embedded Security Weiterführende Vorlesung 117218 Parametrized Verification   -   Jacobs Weiterführende Vorlesung 117219 Physical-Layer Security   -   Tippenhauer Weiterführende Vorlesung 117220 Web Security   -   Stock Weiterführende Vorlesung 117221 Recht der Cybersicherheit - Strafrechtliche Aspekte   -   Vogelgesang Weiterführende Vorlesung 117222 Trusted and Secure Computing   -   Bugiel Blockvorlesung 117223 Usable Security   -   Krombholz Weiterführende Vorlesung 117442 IT-Forensik   -   Sorge Weiterführende Vorlesung

Wahlpflichtbereich II

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114422 HS Von der Automate zum Bot. Film im Zeichen von künstlichem Leben und künstlicher Intelligenz - [LKP 3] (Mi 12-14)   -   Catani Hauptseminar Zur Zeit keine Belegung möglich 116419 You can do IT. Start your idea! Entrepreneurship in IT and Maths Vorlesung 116668 Unix-Kurs für Unix/Linux-Einsteiger   -   Spurk Kurs belegen/abmelden 117695 Introduction to the Asian Board Game Go   -   Bläser Kurs 120333 Problem Solving & Communication Seminar

Master Entrepreneurial Cybersecurity

Stammvorlesungen im Bereich Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116426 Cryptography   -   Döttling Vorlesung / Übung

Vertiefungsvorlesungen Cybersecurity

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116428 Topics in Algorithmic Data Analysis   -   Vreeken Weiterführende Vorlesung 117124 Privacy Enhancing Technologies   -   Zhang Weiterführende Vorlesung 117217 Embedded Security Weiterführende Vorlesung 117218 Parametrized Verification   -   Jacobs Weiterführende Vorlesung 117219 Physical-Layer Security   -   Tippenhauer Weiterführende Vorlesung 117220 Web Security   -   Stock Weiterführende Vorlesung 117221 Recht der Cybersicherheit - Strafrechtliche Aspekte   -   Vogelgesang Weiterführende Vorlesung 117222 Trusted and Secure Computing   -   Bugiel Blockvorlesung 117223 Usable Security   -   Krombholz Weiterführende Vorlesung 117442 IT-Forensik   -   Sorge Weiterführende Vorlesung

Stammvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116416 Optimization   -   Karrenbauer Vorlesung / Übung 116424 Introduction to Computational Logic   -   Smolka Vorlesung / Übung 116425 Artificial Intelligence   -   Torralba ,  Koehler Vorlesung / Übung 116858 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Vertiefungsvorlesungen Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114364 Text-to-Speech Synthesis   -   Möbius Vorlesung 114380 Statistical Natural Language Processing   -   Klakow Vorlesung / Übung 114409 Natural Language Generation Vorlesung 115028 Digital Signal Processing / Digitale Signalverarbeitung   -   Klakow Vorlesung / Übung 116301 Einführung in die Quanteninformationsverarbeitung - Theo. Physikalisches Wahlpflicht (WP PW)   -   Wilhelm-Mauch Vorlesung / Übung 116410 Decision Procedures   -   Weidenbach Weiterführende Vorlesung 116413 Realistic Image Synthesis   -   Slusallek Weiterführende Vorlesung 116414 High Level Computer Vision   -   Schiele ,  Fritz Weiterführende Vorlesung 116465 Audio/Visual Communication and Networks (Telecommunications 2)   -   Herfet Vorlesung / Übung 116859 Numerical Algorithms for Visual Computing Vorlesung / Übung 116860 Image Compression   -   Peter Vorlesung / Übung 117031 Computation and Fabrication   -   Seidel ,  Babaei Weiterführende Vorlesung 117037 Concrete Semantics with Isabelle/HOL   -   Tourret ,  Fleury Weiterführende Vorlesung 117253 Algorithms for Sequence Analysis   -   Marschall Spezialvorlesung 117441 Topics in Neural Information Retrieval   -   Yates Weiterführende Vorlesung 117580 Fine-grained Complexity Theory   -   Künnemann Weiterführende Vorlesung 117585 Introduction to Boolean Function Complexity   -   Saurabh Weiterführende Vorlesung 117631 Distributed and Sequential Graph Algorithms   -   Amiri Weiterführende Vorlesung 117705 Keeping Time in Distributed Systems   -   Lenzen Weiterführende Vorlesung 117712 Quantitative Model Checking   -   Stan Weiterführende Vorlesung 117724 Ethics for Nerds   -   Hermanns Blockvorlesung 117725 Space Informatics   -   Hermanns Blockvorlesung 117728 Numerical Methods for ODEs   -   Ochs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 117729 Project "Numerical Methods for ODEs"   -   Ochs ,  Mitarbeiter des Lehrstuhls Projektarbeit

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114412 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 114413 Mathematics for deep learning   -   Venant ,  Groschwitz Seminar 114414 Multimodal Dialogue Systems   -   Petukhova Blockseminar 114415 Neural Question Answering   -   Neumann Seminar 114418 Structured neural models   -   Koller Seminar 116099 Innovative Retail Technologies   -   Krüger ,  Lessel ,  Speicher ,  Kosmalla Blockseminar 116467 Advanced Program Analysis   -   Darulova Blockseminar 116763 Discourse Relations: Cognition, Resources and NLP   -   Yung Seminar 116813 Advances in Machine Translation   -   Zhang Seminar 116814 Embeddings for Natural Language Processing and Information Retrieval   -   España i Bonet Seminar 116876 Seminar: Optimisation for Machine Learning   -   Ochs Seminar 116877 Seminar: Inverse Problems in Image Processing   -   Bergerhoff ,  Weickert Seminar 116956 Semantic Deep Learning   -   Klusch Seminar 116959 Strafrechtliche Betrachtung von Cyberangriffen Interdisziplinäres Seminar für Informatiker und Juristen   -   Sorge ,  Vogelgesang ,  Krüger Seminar 116960 Motion Synthesis for Virtual Characters   -   Fischer Seminar 117107 Legal Tech - Interdisziplinäres Seminar für Informatiker und Juristen   -   Sorge ,  Krüger ,  Vogelgesang ,  Hessel Seminar 117120 Real-Time Rendering   -   Slusallek ,  Lemme Seminar 117146 Aktuelle Probleme von Recht und Digitalisierung des Straßenverkehrs   -   Sorge ,  Krüger ,  Vogelgesang Seminar 117205 Selected Topics in Mobile Security   -   Bugiel Seminar 117207 Secure Compilation   -   Patrignani Seminar 117208 Accountability in Theory and Practice   -   Künnemann ,  Nemati Seminar 117210 Comparing Fuzzing Techniques   -   Zeller Seminar 117211 Advanced Topics in Cryptography Seminar 117422 Seminar: Machine Learning   -   Guimarães Projektseminar 117429 Computer Vision and Machine Learning for Computer Graphics   -   Theobalt Seminar 117636 Reading Group in Algorithms   -   Mehlhorn Seminar 117642 Hybrid Systems   -   Finkbeiner Blockseminar 117666 Programming Languages and Compilers for Machine Learning   -   Hack Seminar 120333 Problem Solving & Communication Seminar 120682 Designing Usable Security   -   Krombholz Seminar

Freie Leistungspunkte

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114422 HS Von der Automate zum Bot. Film im Zeichen von künstlichem Leben und künstlicher Intelligenz - [LKP 3] (Mi 12-14)   -   Catani Hauptseminar Zur Zeit keine Belegung möglich 116419 You can do IT. Start your idea! Entrepreneurship in IT and Maths Vorlesung