Kontakt

Phone
+49 30 84185-131
Email

Projects

Projects as Head

Media Name: logo.png

rbrcseq

Quorum consensus algorithms like the Paxos algorithm are widely used as basic building blocks for fault-tolerance in distributed systems. Unfortunately, distributed...

rbrcseq
Media Name: HPSV-Logo.png

HPSV

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...

HPSV
Media Name: project_heom_logo.png

HEOM

Photosynthesis fuels life on Earth by converting incoming solar radiation into chemical energy. Different strategies emerged during the evolution of natural...

HEOM
Media Name: IPCC-small.png

IPCC

The Research Center for Many-core High-Performance Computing fosters the uptake of current and next generation Intel many- and multicore technology in high performance...

IPCC

Projects as Member

Media Name: mrsearch-logo.png

MR-Search

Heuristic search can be applied to a wide range of optimization problems, e.g. to multiple sequence alignment or shortest path problems. In the MR-Search project, we are...

MR-Search