Hauptnavigation

• Homepage
• News
• Workgroups
• Servicegroups
• Research
• Study and Teaching
• Information for High School Students
• Sponsors
• About Us
• Contact
• Imprint
• Search
• Login Area

Overview Collective Projects Technical Reports Annual Reports Advertisement 

Page-Contents

Research in Keywords

Computer Science 1

• Algorithms and Complexity (Prof. Dr. Berthold Vöcking)
• design and analysis of algorithms, especially randomized algorithms and probabilistic analysis of algorithms, combinatorial optimization, algorithms for computer networks, algorithmic game theory

• Theoretical Computer Science (Prof. Dr. Peter Rossmanith)
• Efficient algorithms, parameterized complexity, algorithms for hard problems, algorithmic learning theory

Computer Science 2

• Software Modeling and Verification (Prof. Dr. Ir. Joost-Pieter Katoen)
• Modelling and Model-Checking of quantitative Systems, Semantics, Testing.

• Programming Languages and Verification (Prof. Dr. Jürgen Giesl)
• program analysis, program verification, term rewriting, automated deduction

• Theory of Hybrid Systems (Prof. Dr. Erika Ábrahám)
• modeling languages for hybrid systems, decision procedures for non-linear constraint solving, bounded model checking, probabilistic hybrid systems

Computer Science 3

• Software Engineering (Prof. Dr. Bernhard Rumpe)
• concepts, languages, methods, and tools for software engineering

• Software Construction (Prof. Dr. Horst Lichter)
• Software Processes and Process Improvement, Software Quality Assurance, Modern Software Development Approaches

Computer Science 4

• Communication Systems (Prof. Dr. Dr.h.c. Otto Spaniol)
• development and evaluation of communication networks and distributed systems, security, mobile communication

• Distributed Systems (Prof. Dr. Klaus Wehrle)
• Algorithms and engineering of flexible, scalable & resilient communication systems; Models, methods and tools for the engineering of communication systems and protocols; Massively Distributed Systems (Peer-to-Peer systems, sensor-based systems);

• Mobile Network Performance (Prof. Dr. James Gross)

• 1. Protocols and algorithms for adaptive wireless networks
  2. Performance evaluation methods for wireless networks (analysis and simulations)

Computer Science 5

• Information Systems and Database Technology (Prof. Dr. Matthias Jarke)
• metadata management & databases, community information systems, engineering information systems, information retrieval and visualization

• Knowledge-Based Systems (Prof. Gerhard Lakemeyer, Ph.D.)
• artificial intelligence, knowledge representation, cognitive robotics

• Fraunhofer Institute for Applied Information Technology (FIT) ( Prof. Dr. Thomas Berlage; Prof. Wolfgang Prinz, Ph.D.; Prof. Dr. Thomas Rose )
• visual knowledge management/life science informatik, cooperation systems/CSCW, media informatics/media processes

Computer Science 6

• Human Language Technology and Pattern Recognition (Prof. Dr. Hermann Ney)
• speech recognition, language translation, natural language processing, pattern recognition, computer vision

Computer Science 7

• Theory of Discrete Systems (Prof. Dr. Dr.h.c. Wolfgang Thomas)
• automata theory and logic, algorithmic verification and synthesis

• Mathematical Foundations of Computer Science (Prof. Dr. Erich Grädel)
• logic in computer science, algorithmic game theory, computational model theory, complexity

Computer Science 8

• Computer Graphics and Multimedia (Prof. Dr. Leif Kobbelt)
• computer graphics, geometry processing, polygon meshes, rendering, geometric modeling, CAD/CAM, CAGD, visualization, interactive systems, subdivision surfaces

• Mobile Multimedia Processing (Prof. Dr. Bastian Leibe)
• ...coming soon...

Computer Science 9

• Data Management and Data Exploration (Prof. Dr. Thomas Seidl)
• data mining, data exploration, similarity search, multimedia databases, spatio-temporal databases, scientific databases, efficient query processing, indexing structures

• Computer-Based Learning (Prof. Dr. Ulrik Schroeder)
• eLearning, instructional design, assessment and feedback

Computer Science 10

• Media Computing (Prof. Dr. Jan Borchers)
• human-computer interaction (HCI), interaction with multimedia, ubiquitous computing environments, tangible user interfaces, HCI design pattern

Computer Science 11

• Software for Embedded Systems (Prof. Dr. Stefan Kowalewski)
• methods for the design and analysis of software intensive embedded systems, automotive software engineering, agile methods for embedded systems, model checking, static analysis

Computer Science 12

• Scientific Computing (Prof. Christian Bischof, Ph.D.)
• Automatic 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

• Software and Tools for Computational Engineering (Prof. Dr. Uwe Naumann)
• automatic differentiation (AD), compiler-based AD, combinatorial problems in AD, algorithms and software for program analysis and transformation

• Performance Analysis of Parallel Applications (Prof. Dr. Felix Wolf)
• Trace-based performance measurement, pattern-based performance analysis, representation of performance properties

• Virtual Reality Group (Prof. Dr. Torsten Kuhlen)
• 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)

UMIC

• IT-Security (Prof. Dr. Ulrike Meyer)
• Security in Mobile, Wireless, Decentralized Networks, Design and Analysis of Security Architectures for Heterogeneous Networks, Applied Cryptography, Privacy, AAA Architectures

AICES

• Automation and High Performance Computing (Prof. Paolo Bientinesi Ph.D.)
• Automatic generation and analysis of algorithms, high-performance linear algebra on multi-cores and supercomputers, performance prediction, eigensolvers, floating point arithmetic.