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
  • model learning, a.k.a. active automata learning
  • model-based testing
  • model-based reasoning, model checking, theorem proving
  • verified machine learning
  • domain specific languages
  • model-based application generation and functional programming

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: our "Practice as Laboratory Approach". In particular, we apply our methods and techniques to cyber-physical systems.