About

Last changed on February 24, 2019

I am a professor of computer science at the Flensburg University of Applied Sciences. I am interested in programming languages as well as theoretical and practical aspects of programming and software verification. For example, I am interested in

Publications