Table of Contents

[1. Overview]
[2. Main research of the department]
[3. Main research of the institutes]

1. Overview

The interests within department cover the whole scope of computer science from theory to practise and from basic research to applications. In recent years, the department has sharpened its scientific competence and profile in the areas of high performance networks, multimedia, parallel and distributed computing systems, intelligent systems, and formal methods of specification. It is actively recruiting top-ranking scientists.

2. Main research of the department

Multimedia and Tele-Services

Multimedia services and documents that can deal as a medium for communication, cooperation and information in distributed organisations such as universities and companies.
Keywords: Teleteaching, Mobile and Ubiquitous Computing, Living Documents, 3D-Display, Virtual Reality, Software and Systems Engineering

Intelligent Formal Systems

Analysis of formal systems for problems that either require an intelligent behaviour for their solution or that necessitate the use of computers because of their complexity.
Keywords: Computational Logic, Theory of Processes, Verification, Intelligent Systems

3. Main research of the institutes

Institute for Applied Computer Science

The main research activities at the Institute for Applied Computer Science are flexible, automated systems in interaction with human and environment. In the focus of these activities are architectures, models and methods for design, test, operation and diagnosis of heterogeneous, distributed, and networked real-time- and automation systems. The application of such systems in production processes as well as in business processes shall lead to an optimization of performance, energy consumption, cost and quality.

Institute for Artificial Intelligence

The research activities within the Artificial Intelligence Institute is divided broadly into computional logic (the group by Prof. Hölldobler) and applied knowledge representation and reasoning (the group by Dr. Petersohn). The focus on computational logic is represented by a dedicated center of excellence, the International Center for Computational Logic.

• Knowledge Representation and Reasoning (Prof. Hölldobler)
  Logic and computer science, Logic and intelligent agents, Logic and connectionism
• Applied Knowledge Representation and Reasoning (Dr. Petersohn)
  Knowledge acquisition and case-based reasoning for real-world applications

Institute for Software- and Multimedia-Technology

[No information submitted yet.]

Institute for System Architecture

The major research focus of our institute is centered on all issues of managing complex distributed systems. Particular questions and challenges include new technologies for microkernel and real-time operating systems, privacy and security, availability and fault tolerance, heterogeneous data integration and data stream processing as well as infrastructures and service architectures for distributed applications. Our work is characterized by a close integration of basic research, applied innovation and practical validation.

Institute for Computer Engineering

[No information submitted yet.]

Institute for Theoretical Computer Science

The research in the Institut Theoretical Computer Science covers a variety of topics including foundations of programming languages, knowledge representation, automatic deduction, specification and verification of software, and computing with DNA.

• Foundations of programming (Prof. Vogler)
  syntax and semantics of programming languages, functional programming, tree automata, weighted automata
• Knowledge Representation and Reasoning (Prof. Baader)
  description logics, modal logics, term rewriting and equational reasoning, unification theory, combination of decision procedures
• Specification and verification (Prof. Reichel)
  algebraic and coalgebraic specification languages, coalgebraic software verification, categorical semantics
• Computing with DNA (Dr. Sturm)
  Universal distributed splicing systems, Simulation systems for molecular biological processes on DNA, DNA based algorithmic design

International Center for Computational Logic

[No information submitted yet.]