About me About me

Photo of Niels Lohmann

I am a postdoc researcher at the University of Rostock in the Theory of Programming Languages and Programming group. Before, I was working in the Theory of Programming group at the Humboldt-Universität zu Berlin and the Architecture of Information Systems group at the Technische Universiteit Eindhoven.

My research is centered around the correctness of systems, from the transformation of a system description into a formal model to the model checking. Even more interesting is to guarantee correctness by construction. To analyze correctness of real systems, tool development is an important part of my research.


I successfully defended my Ph.D. thesis “Correctness of services and their composition” in Eindhoven, The Netherlands.