About

I am an assistant professor at the Computer Science Department (DIKU) of the University of Copenhagen.  My research topic is formal methods in software engineering. My practical projects are in mechanical engineering, logistics, supply chains, energy networks and distributed systems.