Vorlesungsverzeichnis (SoSe 2019)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

MI Fakultät für Mathematik und Informatik

Mathematik

Studiengang Master Mathematik und Informatik

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116093 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung

Stammvorlesungen der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116854 Funktionentheorie (Complex Analysis)   -   Groves ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 116858 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 117543 Computer Algebra   -   Schreyer Vorlesung / Übung

Vertiefungsvorlesungen der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116849 Spezialvorlesung Algebra   -   Weitze-Schmithüsen ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 116850 Algebraische Geometrie   -   Mitarbeiter des Lehrstuhls ,  Lazic Vorlesung / Übung 116855 Partielle Differentialgleichungen II   -   Fuchs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 116859 Numerical Algorithms for Visual Computing Vorlesung / Übung 116860 Image Compression   -   Peter Vorlesung / Übung 116862 Stochastic Differential Equations   -   Bender ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 116864 Kommutative Algebra   -   Mitarbeiter des Lehrstuhls ,  Lazic Vorlesung / Übung 116865 Set Theory and Forcing   -   Weber ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 116866 Introduction to Noncommutative Differential Geometry   -   Mai Vorlesung / Übung 116869 Non-commutative Distributions   -   Speicher ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 116870 Numerisches Praktikum zur Computertomographie   -   Wald Vorlesung / Übung 117399 Programmierung   -   Buchheit Vorlesung / Übung 117728 Numerical Methods for ODEs   -   Ochs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 117729 Project "Numerical Methods for ODEs"   -   Ochs ,  Mitarbeiter des Lehrstuhls Projektarbeit

Seminare der Mathematik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116853 Oberseminar Algebraische Geometrie   -   Lazic ,  Schreyer Oberseminar 116857 Oberseminar Freie Wahrscheinlichkeitstheorie   -   Speicher ,  Weber Oberseminar 116867 Oberseminar Algebra und Zahlentheorie   -   Weitze-Schmithüsen Oberseminar 116868 Preprint Seminar   -   Lazic Seminar 116876 Seminar: Optimisation for Machine Learning   -   Ochs Seminar 116877 Seminar: Inverse Problems in Image Processing   -   Bergerhoff ,  Weickert Seminar 116943 Gitter und Codes   -   Brandhorst Seminar 116944 Markov-Ketten und algorithmische Anwendungen (LAG bzw. LS1+2)   -   Kinderknecht Proseminar 123912 Oberseminar Algebraische Geometrie   -   Lazic ,  Schreyer Oberseminar

Stammvorlesungen der 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 116426 Cryptography   -   Döttling Vorlesung / Übung 116858 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 117543 Computer Algebra   -   Schreyer Vorlesung / Übung

Vertiefungsvorlesungen der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114364 Text-to-Speech Synthesis   -   Möbius Vorlesung 114380 Statistical Natural Language Processing   -   Klakow Vorlesung / Übung 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 116428 Topics in Algorithmic Data Analysis   -   Vreeken 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 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 117253 Algorithms for Sequence Analysis   -   Marschall Spezialvorlesung 117291 Spezialvorlesung Bioinformatik: Probabilistic Models and Data Analysis   -   Wolf Spezialvorlesung 117413 Spezialvorlesung Bioinformatik: Probabilistic Models and Data Analysis   -   Wolf Übung 117441 Topics in Neural Information Retrieval   -   Yates Weiterführende Vorlesung 117442 IT-Forensik   -   Sorge 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 der Informatik

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 114412 Machine Learning for Natural Language Processing   -   Klakow 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 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 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 117418 Seminar: Bioinformatic tools in Microbiological Research   -   Keller ,  Galata Seminar 117419 Seminar: selected Topics in Systems Biology   -   Backes ,  Keller Seminar 117420 Seminar: Algorithms for Small Non-Coding RNA Discovery   -   Keller ,  Fehlmann Seminar 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

Wahlpflicht

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 116419 You can do IT. Start your idea! Entrepreneurship in IT and Maths Vorlesung 117065 Hands-On Networking   -   Herfet Blockpraktikum