Untergeordnete Navigation

Chairs and Research Topics

Computer Science 1

Algorithms and Complexity

Design and analysis of algorithms, especially randomized algorithms and probabilistic analysis of algorithms, combinatorial optimization, algorithms for computer networks


Prof. Dr. Gerhard Woeginger

Theoretical Computer Science

Efficient algorithms, parameterized complexity, algorithms for hard problems, algorithmic learning theory


Prof. Dr. Peter Rossmanith

Computer Science 2

Software Modeling and Verification

Modelling and Model-Checking of quantitative Systems, Semantics, Testing


Prof. Dr. Ir. Joost-Pieter Katoen

apl. Prof. Dr. Thomas Noll

Prof. Dr. Klaus Indermark, Emeritus

Programming Languages and Verification

program analysis, program verification, term rewriting, automated deduction


Prof. Dr. Jürgen Giesl

Theory of Hybrid Systems

Verification and synthesis of hybrid and probabilistic systems, Decision procedures


Prof. Dr. Erika Ábrahám

Computer Science 3

Software Engineering

Concepts, languages, methods, and tools for software engineering


Prof. Dr. Bernhard Rumpe

Prof. Dr. Dr.h.c. Manfred Nagl, Emeritus

Software Construction

Software Processes and Process Improvement, Software Quality Assurance, Modern Software Development Approaches


Prof. Dr. Horst Lichter

Computer Science 4

Communication Systems

Development and evaluation of communication networks and distributed systems, security, mobile communication


Prof. Dr. Klaus Wehrle

Prof. Dr. Dr.h.c. Otto Spaniol, Emeritus


Security in Mobile, Wireless, Decentralized Networks, Design and Analysis of Security Architectures for Heterogeneous Networks, Applied Cryptography, Privacy, AAA Architectures


Prof. Dr. Ulrike Meyer

Computer Science 5

Information Systems and Database Technology

Metadata management & databases, community information systems, engineering information systems, information retrieval and visualization


Prof. Dr. Stefan Decker

Prof. Dr. Matthias Jarke

Knowledge-Based Systems

artificial intelligence, knowledge representation, cognitive robotics


Prof. Gerhard Lakemeyer, Ph.D.

Fraunhofer Institute for Applied Information Technology (FIT)

visual knowledge management/life science informatik, cooperation systems/CSCW, media informatics/media processes


Prof. Dr. Thomas Berlage

Prof. Wolfgang Prinz, Ph.D.

Prof. Dr. Thomas Rose

Computer Science 6

Human Language Technology and Pattern Recognition

Speech recognition, language translation, natural language processing, pattern recognition, computer vision


Prof. Dr. Hermann Ney

Computer Science 7

Theory of Discrete Systems

Automata theory and logic, algorithmic verification and synthesis


Prof. Dr. Martin Grohe

Prof. Dr. Dr.h.c. Wolfgang Thomas

Prof. Dr. Walter Oberschelp, Emeritus

Mathematical Foundations of Computer Science

logic in computer science, algorithmic game theory, computational model theory, complexity


Prof. Dr. Erich Grädel

Komplexität diskreter Probleme

Algorithmische und strukturelle Graphen- und Gruppentheorie

Prof. Dr. Pascal Schweitzer

Computer Science 8

Computer Graphics and Multimedia

Computer graphics, geometry processing, polygon meshes, rendering, geometric modeling, CAD/CAM, CAGD, visualization, interactive systems, subdivision surfaces


Prof. Dr. Leif Kobbelt

Mobile Multimedia Processing

Computer Vision, Machine Learning, Visual Object Recognition, Tracking, Self-Localization, 3D Reconstruction, Vision for mobile robotics and intelligent vehicles


Prof. Dr. Bastian Leibe

Mesh Generation and Optimization

Mesh Generation, Geometry Processing, Differential Geometry, Numerical Optimization, Mixed-Integer Optimization


Prof. Dr. David Bommes

Computer Animation

Computer animation, physically-based simulation (rigid bodies, deformable solids, fluids), collision detection, GPGPU, real-time rendering methods


Prof. Dr. Jan Bender

Computer Science 9

Data Management and Data Exploration

Data mining, data exploration, similarity search, multimedia databases, spatio-temporal databases, scientific databases, efficient query processing, indexing structures


N. N.

Learning Technologies

eLearning, instructional design, assessment and feedback


Prof. Dr. Ulrik Schroeder

Computer Science 10

Media Computing and Human-Computer Interaction

Human-Computer Interaction (HCI), user interfaces for audio and video, smart rooms, multitouch systems, interactive exhibits and guide systems, ubiquitous, physical, tangible, and wearable computing, personal fabrication, user interfaces for software development


Prof. Dr. Jan Borchers

Computer Science 11

Software for Embedded Systems

methods for the design and analysis of software intensive embedded systems, automotive software engineering, agile methods for embedded systems, model checking, static analysis


Prof. Dr. Stefan Kowalewski

Computer Science 12

High Performance Computing

Programming models, algorithms and software for parallel and multicore computers, Performance Tuning, Correctness Checking, Energy Efficiency


Prof. Dr. Matthias Müller

Software and Tools for Computational Engineering

Automatic differentiation (AD), compiler-based AD, combinatorial problems in AD, algorithms and software for program analysis and transformation


Prof. Dr. Uwe Naumann

Virtual Reality and Immersive Visualization

Three-dimensional, multimodal interaction techniques (haptic and acoustic interfaces), immersive visualization, algorithms for an explorative analysis of complex technical and physical processes, development of VR solutions in the areas mechanical engineering (plants, robots), simulation science, medicine (virtual surgery, regional anaesthesia, neuro-psychology)


Prof. Dr. Torsten Kuhlen


Automation and High Performance Computing

Automatic generation and analysis of algorithms, high-performance linear algebra on multi-cores and supercomputers, performance prediction, eigensolvers, floating point arithmetic.


Prof. Paolo Bientinesi, Ph.D.

German Research School for Simulation Sciences

Laboratory for Parallel Programming

Parallel Programming, Parallel Performance, Performance Analysis Tools


N. N.