• Computergestützte Verifikation
• Verteilte Algorithmen
• Kognitive Systeme
• Digitale Bibliotheken & Multimedia Information Retrieval
• Intelligente IS: Grundlagen des maschinellen Lernens
• Data driven Modeling and Simulation*
• HCI & Interaction Design*
• Network Security*
• Computer Vision*
• Cloud Computing*
• Systems Biology*
• Reasoning under Uncertainty*

* Offer in English

• Web 2.0 und Soziale Netze
• Big Data Processing
• Parallele und verteilte Simulation
• Netzwerkprotokolle und Dienste im Internet
• Verteilte eingebettete Systeme
• Natural Language Processing (AI6)*
• Advanced Neural Networks*
• Requirements Engineeering*
• Hardware/Software Co-Design*
• Cybersecurity*
• Event-Driven Architectures*