Research Grants

On this page you will find infomation about our current projects. You will get an overview of our completed projects via the following link:

Completed Projects

CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments

Within the DFG's Collaborative Research Center (Sonderforschungsbereich) 1119, CROSSING, we are heading the project on the Secure Integration of...more


European Research and Educational Collabo­ration with Western Balkansmore

Finding and Demonstrating Undesired Program Behavior (TESTIFY)

In this joint project with Andreas Zeller from Saarland University we try to combine techniques from static analysis, test-case generation and...more

Fraunhofer Attract

An idea becomes an innovation, if it comes to use. The grant »Fraunhofer Attract« offers outstanding external scientists the opportunity to develop...more

Graduate School "Human Centered Systems Security: North Rhine-Westphalian Experts on Research in Digitalization (NERD)“

The “human factor” is a crucial source of errors in IT systems and plays an important role not only in the usage of IT systems, but also in their...more


Smart and Green Technologies for In­novative and Sustainable Societies in Western Balkansmore

NRW-Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten – Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0“

Im NRW-Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten“ befassen sich Doktorandinnen und Doktoranden der Universitäten Bielefeld und...more

Provably secure program executions through declaratively defined dynamic program analyses (RUNSECURE)

Within the Emmy Noether project RUNSECURE we develop a novel programming language for developing provably correct dynamic analyses and security...more

Runtime Verification beyond Monitoring (ARVI)

This Action aims to build expertise by putting together active researchers in different aspects of runtime verification, and meeting with experts...more

CRC 901 "On-The-Fly Computing"

CRC 901 On-The-Fly Computing aims at the development of methods and tools for automated composition and execution of end-user services from basic IT...more