Vorlesungsverzeichnis (SoSe 2023)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Lehramt

Informatik (LAB, LAG, LS1, LS1+2)

Fachspezifische Bestimmungen 2012

Einführungsveranstaltungen

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

Pflichtmodule

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 142634 Programmierung 2   -   Hack Grundvorlesung 142636 Systemarchitektur   -   Reineke Grundvorlesung 142926 Concurrent Programming (Nebenläufige Programmierung)   -   Hermanns Grundvorlesung 142928 Big Data Engineering (vormals Informationssysteme)   -   Dittrich Grundvorlesung 142929 Softwarepraktikum   -   Apel Grundvorlesung 143893 Mathematik für Informatiker II   -   Groves ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 143206 Hybrid Learning and Reasoning   -   Klusch ,  Nonnengart ,  Meyer-Vitali Seminar 143241 Software Engineering Research in the Neuroage   -   Apel Seminar 143442 Privacy Engineering und Recht   -   Sorge Blockseminar 143575 Reproducibility in Computer Security   -   Holz Seminar 143576 Machine Learning Security   -   Schönherr Seminar 143577 Cryptographic Authentication   -   Hanzlik Seminar 143580 The Web Security Seminar   -   Pellegrino Seminar 143581 Hardware Security   -   Abbasi Seminar 143582 Specification-Based Testing and Debugging   -   Zeller Seminar 143583 Wireless Security   -   Singh Seminar 143584 Trusted and Secure Computing   -   Bugiel ,  Schwarz Seminar 143585 Do we really need overparameterization in deep learning?   -   Burkholz Seminar 143586 Topics in Adversarial Machine Learning   -   Zhang Seminar 143587 Formal Methods for AI Safety   -   Dimitrova Seminar 143588 Data-driven Understanding of the Disinformation Epidemic (DUDE)   -   Zhang Seminar 143721 AI for Programming Education   -   Singla Seminar 143722 Computer Vision and Machine Learning for Computer Graphics   -   Theobalt Seminar 143880 Seminar: Computer-Assisted proofs   -   Bartholdi Seminar 143881 Seminar: Computability in Mathematics   -   Pernak ,  Rauzy Seminar 143889 Seminar on Blockchains and Decentralized Finance (DeFi)   -   Gummadi Seminar 143908 Photorealistic 3D Reconstruction with Deep Learning   -   Ilg Seminar 143909 Advanced Cryptographic Primitives   -   Döttling Seminar 143912 Aspects of Quantitative Program Verification   -   Kaminski Seminar 143913 Accountable AI Through the Lens of Causality   -   Radanovic Seminar 143914 Through the eyes of the user: eye tracking for intelligent interfaces   -   Feit Seminar 143982 Rapid Game Development: Erstellung eines Computerspiels in einem interdisziplinären Team    -   Lessel Seminar 144016 Seminar: Hot Topics in Long-Read Sequencing   -   Rahmann Seminar 144024 Formal Compiler Security   -   Cremers ,  Künnemann Seminar 144025 AI for the Social Good   -   Wolf ,  Baum ,  Großmann Seminar 144030 Query Optimization: Past to Present (Block seminar)   -   Dittrich ,  Haffner Blockseminar 144035 Getting Hands-On with Wearable Robotics for Augmenting Human Capabilities   -   Steimle ,  Mühlhaus Seminar 144041 Seminar: Probabilistic Diffusion: Theory and Applications   -   Schrader ,  Schaefer ,  Weickert Seminar 144043 SupRTwin: Sensing, Unterstanding, and Provisioning of Real-Time Digital Twins   -   Schwartz Seminar 144044 Hyperproperties   -   Finkbeiner Seminar 144048 Data-Driven Drug Design - Methods and Applications   -   Volkamer Seminar 144049 Opportunities and Risks of Large Language Models and Foundation Models   -   Fritz Seminar 144167 Simulating Reality for Boosting AI: Application of 3D Synthetic Data in Object Detection   -   Moniri ,  Krüger Seminar 144181 Reading Course: Foundations of Machine Learning   -   Mehlhorn ,  Coupette Seminar

Wahlpflichtbereich 1

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

Wahlpflichtbereich 2

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 141355 Statistical Natural Language Processing   -   Klakow Vorlesung / Übung belegen/abmelden 141656 Digital Signal Processing / Digitale Signalverarbeitung   -   Klakow Vorlesung / Übung 142572 Topics in Algorithmic Data Analysis   -   Vreeken Weiterführende Vorlesung 142635 Interaktive Systeme   -   Krüger Vorlesung 142952 Cryptography   -   Joux ,  Loss Vorlesung / Übung 142953 Introduction to Computational Logic   -   Smolka Vorlesung / Übung 142954 Embedded Systems   -   Maggio Vorlesung / Übung 142994 Spezialvorlesung der Bioinformatik: Algorithms for Sequence Analysis   -   Rahmann Spezialvorlesung 143057 Usable Security and Privacy (vormals Usable Security)   -   Krombholz Weiterführende Vorlesung 143169 Data Networks   -   Feldmann Vorlesung / Übung 143170 Machine Learning   -   Valera Martinez Vorlesung / Übung 143171 Distributed Systems   -   Garg ,  Xia ,  Bindschaedler Vorlesung / Übung 143197 High Level Computer Vision   -   Schiele Weiterführende Vorlesung 143203 Realistic Image Synthesis   -   Slusallek ,  Myszkowski ,  Singh Weiterführende Vorlesung 143250 Physical-Layer Security   -   Tippenhauer Weiterführende Vorlesung 143421 Algorithmic Quantifier Elimination   -   Sturm Weiterführende Vorlesung 143438 IT-Forensics   -   Sorge Weiterführende Vorlesung 143439 Recht der Cybersicherheit - Datenschutzrechtliche Aspekte   -   Sorge Weiterführende Vorlesung 143443 Post-Quantum Cryptograph   -   Döttling Weiterführende Vorlesung 143444 Quantum Complexity   -   Bläser Weiterführende Vorlesung 143568 Attacks Against Machine Learning Models   -   Zhang Weiterführende Vorlesung 143569 Foundations of Web Security   -   Stock Weiterführende Vorlesung 143570 Privacy-Enhancing Technologies   -   Lueks Weiterführende Vorlesung 143571 Distributed Graph Algorithms   -   Brandt Weiterführende Vorlesung 143572 Optimization for Machine Learning   -   Stich Weiterführende Vorlesung 143611 Parameterized Algorithms   -   Marx Weiterführende Vorlesung 143757 Ethics for Nerds   -   Hermanns ,  Baum ,  Sterz Weiterführende Vorlesung 143867 Groups and Automata   -   Bartholdi ,  Mitarbeiter des Lehrstuhls Weiterführende Vorlesung 143984 Techniques For Counting Problems   -   Wellnitz Weiterführende Vorlesung 143988 Continuous Optimization (Kontinuierliche Optimierung)   -   Ochs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 143989 Convex Analysis and Optimization   -   Ochs ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 144011 Spezialvorlesung der Bioinformatik: Alignment-Free Sequence Analysis with Python   -   Rahmann Spezialvorlesung 144033 Numerical Algorithms for Visual Computing   -   Weickert ,  Chizhov Weiterführende Vorlesung 144034 Image Processing and Computer Vision   -   Peter ,  Mitarbeiter des Lehrstuhls Vorlesung / Übung 144275 Reverse Engineering and Exploit Development for Embedded Systems   -   Abbasi Blockvorlesung