Our department participates in several research projects. 

GeRDI - Generic Research Data Infrastructure

GeRDI LogoThe GeRDI project deals with the development of a Generic Research Data Infrastructure (GeRDI). The aim is to enable all scientists in Germany, especially those who hold only small amounts of data, to store, share and re-use research data across disciplines. In a first phase three pilote data centers supporting the management of research data will be linked up with each other so that research data can be used across disciplinary boundaries, enabling new opportunities for multi-disciplinary research.In a second phase, the developed solution can be rolled-out in Germany and – if appropriate funding will be available – serve as a model for a future German Research Data Infrastructure. In particular, GeRDI will be able to support universities and research institutes in providing research data, in linking up their existing data stores and in establishing new research data stores. GeRDI pursues the idea of the European Open Science Cloud, supplementing current efforts to implement infrastructures for research data management.

From Kiel theGerman National Library for Economics – Leibniz Information Centre for Economics (ZBW) and the department's Software Engineering Group are members of the project consortium. The project is funded by the DFG

CRC 1266: "Scales of Transformation - Human-Environmental Interaction in Prehistoric and Archaic Societies"

CRC 1266 LogoThe CRC 1266 takes a long-term perspective, from 15,000 BCE to 1 BCE, to investigate processes of transformation in a crucial period of human history, from late Pleistocene hunter-gatherers to early state societies.

Funded by the German Research Foundation, the CRC combines research of  around 60 scientists from eight institutions and the Johanna-Mestorf-Academy of the Christian-Albrechts-University Kiel as well as the Centre for Baltic and Scandinavian Archaeology (ZBSA) and the Archaeological State Museum Schloss Gottdorf. The Information Systems Engineering group is engaged in the datamanagement part.

Excellence cluster 'The Future Ocean'

Several workgroups participate in the excellence cluster  The Future Ocean. The cluster researches the changes in oceans in the past, the present and the future with a unique interdisciplinary approach: Workgroups from Marine Science, Economic Sciences, Law, Social Sciences, Medicine, Computer Science and Applied Mathematics join their expertise in eleven multidisicplinary research groups. The results of their research are integrated in sustainable usage concepts and actions options for a worldwide management of the oceans. 

Participating workgroups

Algorithmic Optimal Control - CO2 Uptake of the Ocean

Discrete Optimization

Communication Systems

Multimedia Information Processing

Scientific Computing

Theory of Parallelism

Software Engineering



Logo MovingMOVING is an innovative training platform that enables users from all societal sectors to fundamentally improve their information literacy by training how to use, choose, reflect and evaluate data mining methods in connection with their daily research tasks and to become data-savvy information professionals. The platform provides users with technical support as well as social advice and learning input to organise, filter and exploit information in a more efficient and sustainable way. Thus, we tackle the core challenge of knowledge society to manage large amounts of information in a professional way.

The research groups Knowledge Discovery, Web Science and Media Informatics of the ZBW – Leibniz Information Centre for Economics (short: ZBW) and the department are members of the consorium.


ARAMiS (Automotive, Railway and Avionics Multicore Systems)

The BMBF-joint project ARAMiS has set the goal to improve security, transport efficiency and comfort in the  mobility domains automotive, avionics and railway by creating its technological foundation, using multi-core technology.  The  workgroup Dependable Systems  is looking at how quality can be ensured when porting code from embedded systems with a  singlecore  to future  multicore  systems Mathematical methods and instruments help finding possible sources of mistakes, like deadlocks in concurrent programs and are of high interest for safety-critical applications.



An increasing number of cores in embedded systems implies great challenges for industry and science ensuring software reliability. We design and develop an HPC software platform for the verification of complex reliability requirements for embedded systems. On the one hand we exploit high performance computing in the context of verification problems of the automotive industry, on the other hand, we explore the efficient use of current and future HPC architectures with new approaches.

The project has four main objectives:
- Highly scalable software verification and analysis of concurrency scenarios for embedded applications in the automotive industry,
- development of new scaling methods for integer dominated applications relying on irregular communication patterns,
- gathering experience on optimizations for manycore and exascale applications class, concurrency simulation and software verification,
- transfer of the developed tools, methods and processes to generic HPC consulting services for other applications.


Zuse Institut Berlin (A. Reinefeld)

working group programming languages ​​and compiler construction of Kiel University (M. Hanus)

Model Engineering Solutions GmbH (MES), Berlin

Symtavision GmbH (Symta), Braunschweig

Dependable Systems (D. Nowotka) - project managing


Project period: February, 2016 to January, 2019