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.

Recently…

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