Prüfer: Ahrens Klaus Dr. Akbik, Alan Prof. Dr. Bala, Saimir Dr. Baum Helga Prof. Bazzan, Ana L. C. Prof. Dr. Becherer, Dirk Prof. Bell Dr. Börner, Thomas Prof. Dr. Bothe Prof. Bredereck, Robert Dr. Carstensen, Prof. Dr. Carsten Dietzel, Stefan Dr. Dransch, Doris, Prof. Dr. Ehemalige Lehrkraft Eisert, Peter Prof. Dr. Fischer Prof. Freytag J.C. Prof. Gerlach, Dr. Bernhard Grass, Eckhard Prof. Dr.-Ing. Grunske, Lars Prof. Dr. Haase, Jennifer Dr. Hafner, Verena Prof. Hartlieb, Silke, Dr. Hella Hilsmann, Anna Kehrer, Timo Prof. Dr. Koebler Prof. Koessler Dr. Kratsch, Prof Kuhnert, Sebastian Leser Prof. Lingau, Andreas Dr.; Meffert Prof. Mendling, Jan Prof. Dr. Meyerhenke, Hennig, Prof. Dr. Meyerhenke, Henning Prof. Dr. Müller, Dr. Wolf Müller, Olaf Nicht bekannt Pinkwart, Niels Prof. Dr. Popova-Zeugman Dr. Rabus, Hella Redlich, Jens-Peter, Prof. Reinefeld, Alexander Prof. Dr. Reisig Prof. Reulke, Ralf Prof. Dr. rer. nat. Rybicki, Joel Prof. Dr. Schäfer, Patrick Dr. Scheuermann, Bjoern, Prof Schlingloff, Prof. Dr. Schlingloff, Reisig Schweikardt, Nicole Prof. Dr. Sommer Dr. Tschorsch, Florian Prof. van Bergerem, Steffen Dr. Weidlich, Matthias, Prof. Dr. Winkler, Frank, Dr. Zech, Herbert Prof. Dr. Zender, Raphael Prof. Zwicknagl, Barbara Prof. Dr.

Fach: Eingebettete und Cyber-physische Systeme Algorithmen und Datenstrukturen Algorithmen und Datenstrukturen 2 Algorithmik des maschinellen Lernens für Graphen Algorithmische Methoden für schwere Optimierungsprobleme Algorithmische Spieltheorie Algorithms and Collective Decisions Analyse von Petrinetzmodellen Analysis 3a Analysis für Informatiker Angewandte Mathematik für InformatikerInnen Angewandtes Maschinelles Lernen Architektur paralleler und verteilter Systeme Architektur und Programmierung von Parallelrechnern Ausgewählte Themen der Technischen Informatik Automatisierung industrieller Workflows Berechenbarkeit Betriebssystem UNIX - Sicherheit und Systemadministration Big Data Analytics in Theorie und Praxis Bioinformatik Breitbandkommunikation Business Process Automation C++ as a new Language Chipkarten-Technologie Compilerbau Computergestützte Verifikation Computergrafik Conceptual Modeling Data Science mit Python Data Warehousing und Data Mining DBS1 - Grundlagen von Datenbanksystemen DBS2 - Implementation von Datenbanken Digitale Kommunikationssysteme Digitale Systeme Digitaltechnik & Rechnerorganisation Diskrete Strukturen Drahtlose Kommunikationssysteme Einführung in die Beweiskomplexität Einführung in die Datenbanktheorie Einführung in die formale Logik für IMP Einführung in die Kryptologie Einführung in die künstliche Intelligenz (EKI) Einführung in die Theoretische Informatik Eingebettete Systeme - Produktivität und Qualität Embodied Artificial Intelligence EMES Entrepreneurship Event Processing Event-based Systems Exakte Exponentialzeit-Algorithmen Forschungsmethoden der Informatik Foundations of Distributed Computing GALA - Graphenalgorithmen un Lineare Algebra Hand in Hand General Game Playing Graph Decompositions Graphalgorithmen Graphen und Algorithmen 1 Graphen und Algorithmen 2 Grundlagen der Programmierung Grundlagen der Rechnerkommunikation Grundlagen moderner Betriebssysteme Informatik im Kontext Informatik und Gesellschaft Informatik und Informationsgesellschaft I: Digitale Medien Informatik und Informationsgesellschaft II Information Retrieval Informationsintegration Informationssysteme Ingenieurspsychologie NF Introduction to Natural Language Processing IT-Sicherheit - Grundlagen Kognitive Robotik Kombinatorik Kommunikationssysteme I Komplexitätstheorie Konzepte für die frühen Phasen der Softwareentwicklung Kooperatives Prototyping (HK) Kryptographie 2 Kryptologie Kryptologie 1 Lineare Algebra für Informatiker und Physiker Lineare Algebra I Lineare Optimierung (Math. Ergänzung) Logik in der Informatik Logik und Komplexität Logik, Spiele, Automaten (LSA) Maschinelle Sprachverarbeitung Maschinelles Lernen 1 Maschinelles Lernen und Data Mining (MLDM) Math. Grundlagen der digitalen Klanganalyse/synthese Mathematik für Informatiker 1 Mathematik für Informatiker 2/3 Mathematik für Informatiker Analysis 1 Mathematische Grundlagen der Kognitiven Robotik Mathematische Grundlagen der Kryptografie Mathematische Grundlagen der Sensomotorik und Aktuatorik Mathematische Grundlagen der Wahrnehmung und Sensomotorik Mathematische Werkzeuge der Computergrafik und Bildverarbeitung (MWdCGuBV) MBD / Data Warehousing Mensch Computer Interaktion Methoden und Modelle des Systementwurfs Middleware Platforms Mobile Communication Modellbasierte Softwareentwicklung Modellierung und Spezifikation Moderne Methoden der künstlichen Intelligenz (MMKI) Multi-Agent Systems Mustererkennung Nebenfach Biologie Nebenfach Politikwissenschaften Nebenfach Psychologie Netzwerksicherheit Nicht bekannt Nonlinear Functional Analysis and Weak Convergence Numerische Mathematik (NF Mathematik) OMSI - Objektorientierte Modellierung, Spezifikation und Implementierung OMSI 1 - Objektorientierte Modellierung, Spezifikation und Implementierung 1 Operating Systems Principles 2 Parallelisierende Compiler Parameterized Algorithms Peer-to-Peer-Systeme Praktische Informatik 1 + 2 Praktische Informatik 3 Process Mining Projekt Erdbebenfrühwarnung Protokolle und Algorithmen der Internetkommunikation Prozessinformatik Psychology for Information Systems Randomisierte Algorithmen & Prob. Anal. Rechnerkommunikation Requirements Engineering und Software-Architektur Schaltkreisentwurf Security Engineering Sichere und Zuverlässige Softwaresysteme Sicherheit und Privatsphäre in mobilen Systemen Software Engineering I Software Engineering II Soziale Medien und Kooperationssysteme spezielle Techniken der Rechnerkommunikation Statistik und Data Science für die Informatik Stereo-Bildverarbeitung Stochastik SV0 SV1 - Signalverarbeitung SV2 Mustererkennung SV3 - Grundlagen der Bildverarbeitung SV4 - Spezialgebiete der Bildverarbeitung Techniken und Konzepte zum Schutz der Privatsphäre Technische Informatik 2 Text Analytics Theoretische Informatik Theoretische Informatik 2 Theoretische Informatik 3 Theoretische Physik 1-3 (Nebenfach) Unix Architektur und Unix Werkzeuge Verteilte Algorithmen Verteilte Systeme und Algorithmen Visual Analytics für raum-zeitliche Daten Werkzeuge der technischen Informatik Werkzeuge empirischer Forschung Wissenschaftliches Rechnen XML und Semantic Web XML, XPath, XQuery: Neue Konzepte für Datenbanken Zuverlässige Systeme (ZS) Zuverlässige, mobile und verteilte Systeme