Vorlesungsverzeichnis (WiSe 2019/20)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Bachelor (inkl. Optionalbereich)

Informatik (KB)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 121196 Don’t Panic – The Grad Student’s Guide to Surviving your PhD   -   Vreeken Kurs

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 118443 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung 120740 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Bachelor)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung 121019 Einführungsveranstaltung Informatik für Studienanfänger Bachelor   -   Steimle Einführungsveranstaltung

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 119718 Programmierung 1   -   Hermanns Grundvorlesung 119719 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 119720 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 119722 Ringvorlesung Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 120588 Mathematik für Informatiker I   -   Schreyer ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 120590 Mathematik für Informatiker III   -   Zähle ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 120237 Automated Reasoning   -   Waldmann Vorlesung / Übung 120241 Security   -   Tippenhauer Vorlesung / Übung 120245 Digital Transmission, Signal Processing (Telecommunications I)   -   Herfet Vorlesung / Übung 120250 Computer Graphics   -   Slusallek Vorlesung / Übung 120255 Operating Systems   -   Brandenburg Vorlesung / Übung 120256 Complexity Theory   -   Bläser ,  Komarath Vorlesung / Übung 120258 Human Computer Interaction   -   Steimle ,  Fruchard Vorlesung / Übung 120264 Information Retrieval and Data Mining   -   Saha Roy ,  Yates Vorlesung / Übung 120281 Semantics   -   Smolka ,  Dreyer Vorlesung / Übung 120282 Software Engineering   -   Apel Vorlesung / Übung 120417 Geometric Modeling   -   Zayer Vorlesung / Übung 120623 Algorithms and Data Structures   -   Seidel Blockvorlesung 120665 Verification   -   Finkbeiner Vorlesung / Übung 120790 Machine Learning   -   Ochs Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 117778 Statistik mit R   -   Demberg Vorlesung / Übung 118863 Project Management and Execution   -   Knop ,  Bayer ,  Scheid ,  Loos Vorlesung 120303 Multimedia Transport (Future Media Internet)   -   Herfet Vorlesung / Übung 120308 AI Planning   -   Hoffmann Weiterführende Vorlesung 120381 Architectural Thinking for Intelligent Systems   -   Koehler Weiterführende Vorlesung 120401 Neural Networks: Theory and Implementation   -   Klakow Vorlesung / Übung 120432 Recht der Cybersicherheit - Datenschutz   -   Sorge Weiterführende Vorlesung 120433 Social Computing (Affective Computing)   -   Gebhard Weiterführende Vorlesung 120589 Information Extraction   -   Razniewski Weiterführende Vorlesung 120674 Generating Software Tests (Security Testing)   -   Zeller ,  Gopinath Weiterführende Vorlesung 120676 Mobile Security   -   Bugiel Weiterführende Vorlesung 120677 Machine Learning in Cybersecurity   -   Fritz Weiterführende Vorlesung 120678 Reactive Synthesis   -   Jacobs Blockvorlesung 120691 Spezialvorlesung Bioinformatik: Statistical Learning   -   Vreeken ,  Marschall Spezialvorlesung 120802 Differential Equations in Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 120803 Image Acquisition Methods   -   Peter Vorlesung / Übung 120804 Differential Geometric Aspects of Image Processing Vorlesung / Übung 120805 Convex Analysis and Optimization   -   Ochs ,  Mitarbeiter des Lehrstuhls Weiterführende Vorlesung 120806 Interpolation and Approximation for Visual Computing   -   Mitarbeiter des Lehrstuhls Vorlesung / Übung 120970 Program Analysis   -   Reineke Weiterführende Vorlesung 120971 Theory of Distributed Systems   -   Lenzen ,  Bund Weiterführende Vorlesung 120977 Web Security   -   Stock Weiterführende Vorlesung 120993 Ethics for Nerds   -   Hermanns Blockvorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 120684 Less Injuries by Making Cars Secure Proseminar 120935 Einführung in die Effiziente Anfrageverarbeitung   -   Dittrich Proseminar 120936 Joint Advances in Web Security   -   Stock Proseminar 120937 Malware   -   Rossow Proseminar 121014 Recent Topics in HCI   -   Kosmalla ,  Zenner ,  Kerber Proseminar

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 117811 Intelligent Tutoring Systems Seminar 118472 Machine Learning for Natural Language Processing   -   Klakow Blockseminar 120311 Explainable AI Planning   -   Hoffmann Seminar 120314 Software Engineering Research in the Neuroage   -   Apel Seminar 120502 Rein4cement Learning   -   Wolf Seminar 120503 Exploring Complex Network Dynamics   -   Wolf Seminar 120504 Cognitive and Cooperative Robotics   -   Schwartz Seminar 120666 Concurrency Theory   -   Hermanns Seminar 120679 Data Privacy   -   Zhang Seminar 120680 Formal Methods in Security   -   Jacobs Seminar 120681 Joint Advances in Web Security   -   Stock ,  Pellegrino Seminar 120683 How Secure is Messaging? Provable Guarantees for Secure Messaging   -   Cremers Seminar 120685 Designing Usable Security   -   Krombholz Seminar 120811 Seminar Deep Learning: From Mathematical Foundations to Image Compression   -   Weickert ,  Peter Seminar 120889 Hybrid Learning and Reasoning   -   Klusch Seminar 120897 Algorithms for Big Data   -   Mömke Blockseminar 120931 Automotive User Interfaces   -   Feld Seminar 120932 Machine Teaching   -   Singla Blockseminar 120945 Computational Design and Manufacturing   -   Seidel ,  Babaei Seminar 120946 Crazy Papers in Big Data Engineering   -   Dittrich Seminar 120947 Interactive Computing with Augmented and Virtual Reality   -   Steimle Seminar 120956 IT-Forensik und Strafverfolgung   -   Sorge Seminar 120957 Legal Tech   -   Sorge Seminar 120978 Topics in Fair Division   -   Mehlhorn Seminar 121017 Less Injuries by Making Cars Secure Seminar 121219 Optimization and Entrepreneurship   -   Karrenbauer Seminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 117806 Language Processing with Neural Networks   -   Klakow Softwareprojekt 118880 Process Mining - Data Science in Action   -   Fettke ,  Hamberg ,  Beuther Vorlesung 119262 Grundlagen der Signalverarbeitung   -   Klakow Vorlesung / Übung 119715 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 119728 Ringvorlesung Cybersecurity   -   Researchers and Entrepreneurs in Cybersecurity Vorlesung 120231 Unix-Kurs für Unix/Linux-Einsteiger   -   Spurk Kurs belegen/abmelden 120794 Ultrasound Imaging   -   Fournelle Vorlesung belegen/abmelden 121120 Programmierkurs   -   Fehlmann ,  Kern ,  Keller Praktikum 121121 Programmierkurs   -   Keller ,  Fehlmann ,  Kern Übung 122382 Hands-On Networking   -   Herfet Blockpraktikum