Institute of Software Engineering and Programming Languages

  • Postal addressShow on map

    Ratzeburger Allee 160, Hs. 64

    23562 Lübeck


Organisation profile

About us

The ISP focuses on rigorous engineering of hard- and software systems with emphasis on software quality. One of our main interests lies in model-based development with formal verification techniques, in particular

  • Model Checking,
  • Runtime Verification, and
  • Testing.

A main application area concerns energy informatics, especially e-mobility, for which we develop routing- and further optimization algorithms and solutions, for example

  • Green Navigation
  • Fleet Optimization
  • Android-based Car-PC

UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):

  • SDG 9 - Industry, Innovation, and Infrastructure


Dive into the research topics where Institute of Software Engineering and Programming Languages is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or