About

Last changed on October 20, 2017

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