print · source · login   

Department of Software Science

Our group has expertise covering a broad range of topics concerning software construction and analysis.

We do research on:

  • foundations of software: type theory, proof assistants, concurrency, co-algebras, and term rewriting
  • model-based testing and model learning
  • combining formal verification and machine learning
  • functional programming and domain specific languages

An explicit aim is to bridge the gap between theory and practice through collaboration with stakeholders from industry and other application areas and to understand in what way the developed methods can contribute to solving real-world problems using the "Industry-as-a-Lab" approach. In particular, we apply our methods and techniques to cyber-physical systems in joint projects with industrial partners.