Vorlesungsverzeichnis (SoSe 2022)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Lehramt

Informatik (LAB, LAG, LS1+2)

Fachspezifische Bestimmungen 2012

Einführungsveranstaltungen

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

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 136356 Programmierung 2   -   Hack Grundvorlesung 136368 Nebenläufige Programmierung   -   Hermanns Grundvorlesung 136387 Big Data Engineering (vormals Informationssysteme)   -   Dittrich Grundvorlesung 136474 Systemarchitektur   -   Reineke Grundvorlesung 136499 Softwarepraktikum   -   Apel Grundvorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 136315 Quantum Machine Learning   -   Klusch Seminar 136317 Neural-Symbolic Computing   -   Finkbeiner Seminar 136561 Neuro-Symbolic Reinforcement Learning   -   Singla Seminar 136939 Deep Learning for Drug Discovery   -   Wolf Seminar 136972 Software Engineering Research in the Neuroage   -   Apel Seminar 137015 Seminar: Fourieranalysis   -   Buchheit ,  Seibel Seminar 137126 Aspects of Quantitative Program Verification   -   Kaminski Blockseminar 137127 Computer Vision and Machine Learning for Computer Graphics   -   Theobalt Seminar 137160 Datenschutz und KI: rechtliche und technische Aspekte   -   Sorge Seminar 137162 Coping with computational hardness: approximation, moderately exponential-time, and parameterized algorithms   -   Marx Seminar 137165 Ethical AI – AI for Ethics   -   Müller Seminar 137177 Brain-Computer Interaction   -   Krüger ,  Rekrut Seminar 137198 Crowdsourcing high quality annotations and experimental data   -   Scholman Seminar 137257 Symbolic Execution (Multimodal Seminar)   -   Steinhöfel Seminar 137258 Data-driven Understanding of the Disinformation Epidemic (DUDE)   -   Zhang Seminar 137259 Digital and Privacy-Preserving Signatures   -   Hanzlik Seminar 137260 Advanced Topics in Program Analysis   -   Dimitrova Seminar 137261 Reading Group: String Algorithms   -   Fischer ,  Bringmann Seminar 137262 Deep Learning for Visual Computing   -   Peter Seminar 137264 Developing Cloud Software using SAP   -   Krüger ,  Lander ,  Kosmalla ,  Altmeyer ,  Kerber Seminar 137265 Human-Centered Interface Design for Automated Cyber-Physical Systems   -   Krüger ,  Wiehr ,  Hirsch Seminar 137266 Build an 8-bit Computer from Scratch   -   Hack Seminar 137267 Virtual Reality Game Development using a Rock Climbing Treadmill   -   Kosmalla ,  Daiber ,  Degraen ,  Altmeyer Seminar 137268 How to build a Social Computer   -   Gebhard ,  König ,  Tsovaltzi Seminar 137288 Ethics in Security Research   -   Krombholz Seminar 137289 Algorithms for Realtime Raytracing   -   Yazici ,  Rath Seminar 137291 Machine Learning for Social Signal Processing   -   Nunnari ,  Lindsay Seminar 137356 Category Theory   -   Dreyer Seminar

Wahlpflichtbereich 1

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

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 136332 Quantitative Model Checking   -   Hermanns ,  Maggio Weiterführende Vorlesung 136353 Ethics for Nerds   -   Hermanns ,  Baum ,  Sterz Weiterführende Vorlesung 136354 Automated Reasoning II   -   Waldmann Weiterführende Vorlesung 136357 Interaktive Systeme   -   Schmitz Vorlesung 136388 Artificial Intelligence   -   Hoffmann Vorlesung / Übung 136434 Algorithms for Cryptanalysis   -   Joux Weiterführende Vorlesung 136462 Machine Learning Privacy   -   Zhang Weiterführende Vorlesung 136463 Formal analysis of real-world security protocols   -   Cremers Weiterführende Vorlesung 136464 Secure Web Development   -   Pellegrino ,  Staicu Weiterführende Vorlesung 136465 Foundations of Web Security   -   Stock Weiterführende Vorlesung 136466 Physical-Layer Security   -   Tippenhauer ,  Singh Weiterführende Vorlesung 136467 Digital Currencies and Smart Contracts   -   Wüst Blockvorlesung 136468 Distributed Graph Algorithms   -   Brandt Weiterführende Vorlesung 136469 Optimization for Machine Learning   -   Stich Weiterführende Vorlesung 136473 Cryptography   -   Döttling ,  Loss Vorlesung / Übung 136477 Introduction to Computational Logic   -   Smolka Vorlesung / Übung 136504 Topics in Algorithmic Data Analysis   -   Vreeken Weiterführende Vorlesung 136508 Optimization   -   Karrenbauer Vorlesung / Übung 136509 Embedded Systems   -   Maggio Vorlesung / Übung 136511 Data Networks   -   Feldmann Vorlesung / Übung 136516 Machine Learning   -   Fritz Vorlesung / Übung 136517 Audio/Visual Communication and Networks (Telecommunications 2)   -   Herfet Vorlesung / Übung 136518 High Level Computer Vision   -   Schiele Weiterführende Vorlesung 136567 Recht der Cybersicherheit - Datenschutzrechtliche Aspekte   -   Sorge Weiterführende Vorlesung 136937 IT-Forensics   -   Sorge Weiterführende Vorlesung 136978 Parameterized Verification   -   Jacobs Weiterführende Vorlesung 137175 Convex Analysis   -   Swoboda Weiterführende Vorlesung 137193 Automated Knowledge Base Construction   -   Razniewski Weiterführende Vorlesung 137217 Competitive Programming   -   Weidenbach ,  Bläser ,  Bromberger ,  Bringmann Weiterführende Vorlesung 137234 How to Clock Your Computer   -   Lenzen Weiterführende Vorlesung 137482 Causality for Complexity Theorists   -   Bläser Weiterführende Vorlesung 137554 Image Processing and Computer Vision   -   Weickert ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung