Our research is dedicated to developing new technologies that help to construct high-quality software in a productive way.

Our collective goal is to use, advance and create techniques from the fields of programming languages and software engineering to aid in current and future challenges to software development ranging from distributed computing and software security to experimental evidence.

In particular, we are working in the following areas:


Our work is funded by the following organizations:

  • European Research Council (ERC)
  • Deutsche Forschungsgemeinschaft (DFG)
  • German Federal Ministry of Education and Research (BMBF)
  • Hessen State Ministry for Higher Education, Research and the Arts (HMWK)