Welcome at the research group Software Technology


The research group Ebert (Software Technology) is responsible, among others, for the foundation courses in software technology and programming languages, as well as courses in related topics in the Bachelor and Master programs of the Computer Science faculty.

Main research areas are

  • Software Technology, especially formal methods and tools for software development, maintenance, evolution, and evaluation.,
  • Programming Languages, especially functional and visual languages, and
  • Graph Technology, especially modelling with graphs and the development of graph based tools.