Abteilungen

D1

Algorithms and Complexity

Prof. Danupon Na Nongkai, Ph.D.

The department investigates a broad range of theoretical and practical aspects of modern algorithmics. We design new algorithms and algorithmic techniques, analyze their efficiency and the quality of their solutions, develop provably efficient and correct software, and package our programs in software libraries. The strength of our approach lies in the fact that we consider these aspects in unity and not in isolation.

Go to D1 Algorithms & Complexity
 

D2

Computer Vision and Machine Learning

Prof. Dr. Bernt Schiele

Perceptual Computing  in general and Computer Vision in particular have great potentials to change the way we interact with computers and how machines such as robots perceive the world. Over the last three decades significant progress has been made in computer vision. Today it is possible to use image information for quality control and domain specific problems such as face recognition, recovery of CAD models for well-defined objects and basic visual surveillance. Robustness of perception and vision algorithms however is a notorious problem and one of the major bottlenecks for industrial applications. At the same time there is little doubt that in the next decades small and inexpensive sensors will be developed and embedded in many devices. Our hypothesis is that the integration of multiple features and sensors facilitates robustness in environments of realistic complexity.

Go to D2 Computer Vision and Machine Learning
 

D3

Internet Architecture

Prof. Anja Feldmann, Ph.D.
Internet ArchitectureProf. Anja Feldmann, Ph.D.
Internet Security MeasurementsDr. Oliver Gasser
Network and Cloud SystemsDr. Yiting Xia

The Internet is a hugely successful human made artifact that has changed the society fundamentally. In becoming such a hugely successful infrastructure the usage of the Internet and, thus, the Internet has and continues to change as my research has highlighted.

Go to D3 Internet Architecture
 

D4

Computer Graphics

Prof. Dr. Hans-Peter Seidel

During the last few decades computer graphics firmly established itself as a core discipline within computer science. New and emerging technologies such as digital media, social networks, digital television, digital photography and the rapid development of new sensing devices, telecommunication and telepresence, virtual and augmented reality further indicate its potential and pose new challenges in the years to come.

Go to D4 Computer Graphics
 

D5

Databases and Information Systems

Prof. Dr. Gerhard Weikum

We are witnessing an explosion of digital information. The Internet provides a seemingly endless amount of data that is constantly growing. From a technical viewpoint, this poses tremendous challenges regarding the intelligent organization, semantic search, and deep analysis of the data. This concerns not just the data and knowledge on the Web, but also in databases, social media, digital libraries, and scientific data repositories.

Go to D5 Databases and Information Systems
 

D6

Visual Computing and Artificial Intelligence

Prof. Dr. Christian Theobalt

The Visual Computing and Artificial Intelligence Department investigates foundational research problems at the intersection of Computer Graphics, Computer Vision and Artificial Intelligence. It is our long term vision to develop entirely new ways to capture, represent, synthesize and simulate models of the real world at highest detail, robustness, and efficiency. To achieve this long term goal, we develop new concepts that rethink and unite established approaches from Computer Graphics and Computer Vision with concepts from Artificial Intelligence, in particular Machine Learning.

Go to D6 Visual Computing and Artificial Intelligence
 

RG1

Automation of Logic

Prof. Dr. Christoph Weidenbach

The research of this group concentrates on automated deduction in (subsets of) first-order logic. On the theoretical side, the work is focused on the development, analysis, and combination of logical calculi. Practically, the group is concerned with the implementation of powerful automated theorem provers and other deductive systems and their application. One central application area is computer-aided verification of hardware and software.

Go to RG1 Automation of Logic
 

RG2

Network and Cloud Systems

Dr. Yiting Xia

Computer networks have become the “new electricity” to facilitate rich cloud services. The network infrastructure is crucial to the performance of cloud computing. The network and cloud systems group was founded in 2020. The research focus is on building high-performance and cost-efficient network and systems for cloud applications. We follow a cross-layer approach and cover broad topics for optimizing the cloud stack, including novel hardware, network protocols, software systems, and cloud applications.

Go to RG2 Network and Cloud Systems
 

RG3

Multimodal Language Processing

Prof. Dr. Vera Demberg

Language is fundamental to how we humans communicate with one another and exchange knowledge. We have seen immense progress in automatic language comprehension and language generation in the last few years. A central goal of the Research Group on Multimodal Language Processing lies in complementing language processing with other modalities for better grounding, deeper understanding and more naturalistic interaction.

Go to RG3 Multimodal Language Processing
 


Former Departments