University of Lübeck Login

Institut für Softwaretechnik und Programmiersprachen

Institute for Software Engineering and Programming Languages

Research Groups

Our research groups focus on various aspects of software engineering and programming languages.

a diagram of a number of circles and a number of dots

Model Checking

a black and white image of a computer mouse

Runtime Verification

a diagram of a number of circles and a number of dots

Artifical Intelligence