 Algorithms and Complexitydesign and analysis of algorithms, especially randomized algorithms and probabilistic analysis of algorithms, combinatorial optimization, algorithms for computer networks, algorithmic game theory |
 | |
| Prof. Dr. Berthold Vöcking | ||
 Theoretical Computer ScienceEfficient algorithms, parameterized complexity, algorithms for hard problems, algorithmic learning theory |
 | |
| Prof. Dr. Peter Rossmanith | ||
 Algorithmic Game Theoryalgorithms for rational agents, dynamics and convergence in networks, distributed algorithms, equilibrium computation, mechanism design |
 | |
| Prof. Dr. Martin Hoefer | ||
 Software Modeling and VerificationModelling and Model-Checking of quantitative Systems, Semantics, Testing. |
 |  |
| Prof. Dr. Ir. Joost-Pieter Katoen | Prof. Dr. Klaus Indermark, Emeritus | |
 Programming Languages and Verificationprogram analysis, program verification, term rewriting, automated deduction |
 | |
| Prof. Dr. Jürgen Giesl | ||
 Theory of Hybrid SystemsVerification and synthesis of hybrid and probabilistic systems, Decision procedures |
 | |
| Prof. Dr. Erika Ábrahám | ||
 Software Engineeringconcepts, languages, methods, and tools for software engineering |
 |  |
| Prof. Dr. Bernhard Rumpe | Prof. Dr. Dr.h.c. Manfred Nagl, Emeritus | |
 Software ConstructionSoftware Processes and Process Improvement, Software Quality Assurance, Modern Software Development Approaches |
 | |
| Prof. Dr. Horst Lichter | ||
 Communication Systemsdevelopment and evaluation of communication networks and distributed systems, security, mobile communication |
 |  |
| Prof. Dr. Klaus Wehrle | Prof. Dr. Dr.h.c. Otto Spaniol, Emeritus | |
 Mobile Network PerformanceProtocols and algorithms for adaptive wireless networks; Performance evaluation methods for wireless networks (analysis and simulations) |
 | |
| Prof. Dr. James Gross | ||
 Information Systems and Database Technologymetadata management & databases, community information systems, engineering information systems, information retrieval and visualization |
 | |
| Prof. Dr. Matthias Jarke | ||
 Knowledge-Based Systemsartificial 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 | |
 Human Language Technology and Pattern Recognitionspeech recognition, language translation, natural language processing, pattern recognition, computer vision |
 | |
| Prof. Dr. Hermann Ney | ||
 Theory of Discrete Systemsautomata theory and logic, algorithmic verification and synthesis |
 |  |
| Prof. Dr. Dr.h.c. Wolfgang Thomas | Prof. Dr. Walter Oberschelp, Emeritus | |
 Mathematical Foundations of Computer Sciencelogic in computer science, algorithmic game theory, computational model theory, complexity |
 | |
| Prof. Dr. Erich Grädel | ||
 Computer Graphics and Multimediacomputer graphics, geometry processing, polygon meshes, rendering, geometric modeling, CAD/CAM, CAGD, visualization, interactive systems, subdivision surfaces |
 | |
| Prof. Dr. Leif Kobbelt | ||
 Mobile Multimedia ProcessingComputer Vision, Machine Learning, Visual Object Recognition, Tracking, Self-Localization, 3D Reconstruction, Vision for mobile robotics and intelligent vehicles |
 | |
| Prof. Dr. Bastian Leibe | ||
 Data Management and Data Explorationdata mining, data exploration, similarity search, multimedia databases, spatio-temporal databases, scientific databases, efficient query processing, indexing structures |
 | |
| Prof. Dr. Thomas Seidl | ||
 Computer-Based LearningeLearning, instructional design, assessment and feedback |
 | |
| Prof. Dr. Ulrik Schroeder | ||
 Media Computing and Human-Computer InteractionHuman-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 | ||
 Software for Embedded Systemsmethods 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 | ||
 Scientific ComputingAutomatic and computational differentiation, sensitivity analysis, uncertainty analysis, semantic augmentation of programs, high performance computing, parallel computing, grid computing, problem solving environments, virtual reality, numerical linear algebra, computational science and engineering |
 | |
| Prof. Dr.-Ing. H. Martin Bücker (Interims Chair) | ||
 Software and Tools for Computational Engineeringautomatic differentiation (AD), compiler-based AD, combinatorial problems in AD, algorithms and software for program analysis and transformation |
 | |
| Prof. Dr. Uwe Naumann | ||
 Virtual Reality GroupThree-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 | ||
 Scientific ComputingParallele Algorithmen, Combinatorial Scientific Computing, Programmtransformationen, Computational Science and Engineering |
| |
| Prof. Dr.-Ing. H. Martin Bücker | ||
 IT-SecuritySecurity in Mobile, Wireless, Decentralized Networks, Design and Analysis of Security Architectures for Heterogeneous Networks, Applied Cryptography, Privacy, AAA Architectures |
 | |
| Prof. Dr. Ulrike Meyer | ||
 Automation and High Performance ComputingAutomatic 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. | ||
 Laboratory for Parallel ProgrammingParallel Programming, Parallel Performance, Performance Analysis Tools |
 | |
| Prof. Dr. Felix Wolf | ||