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

more


Prof. Dr. Gerhard Woeginger

Theoretical Computer Science

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

more


Prof. Dr. Peter Rossmanith

Computer Science 2

Software Modeling and Verification

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

more


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

more


Prof. Dr. Jürgen Giesl

Theory of Hybrid Systems

Verification and synthesis of hybrid and probabilistic systems, Decision procedures

more


Prof. Dr. Erika Ábrahám

Computer Science 3

Software Engineering

Concepts, languages, methods, and tools for software engineering

more


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

more


Prof. Dr. Horst Lichter

Computer Science 4

Communication Systems

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

more


Prof. Dr. Klaus Wehrle

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

IT-Security

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

more


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

more


Prof. Dr. Stefan Decker

Prof. Dr. Matthias Jarke

Knowledge-Based Systems

artificial intelligence, knowledge representation, cognitive robotics

more


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

more


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

more


Prof. Dr. Hermann Ney

Computer Science 7

Theory of Discrete Systems

Automata theory and logic, algorithmic verification and synthesis

more


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

more


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

more


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

more


Prof. Dr. Bastian Leibe

Mesh Generation and Optimization

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

more


Prof. Dr. David Bommes

Computer Animation

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

more


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

more


N. N.

Learning Technologies

eLearning, instructional design, assessment and feedback

more


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

more


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

more


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

more


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

more


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)

more


Prof. Dr. Torsten Kuhlen

AICES

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.

more


Prof. Paolo Bientinesi, Ph.D.

German Research School for Simulation Sciences

Laboratory for Parallel Programming

Parallel Programming, Parallel Performance, Performance Analysis Tools

more


N. N.