About

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