Home

Welcome to my landing page. I am Boris Düdder, an assistant professor in software engineering at University of Copenhagen.

A homepage section

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.

Blog

Contact

University of Copenhagen
Faculty of Science
Department of Computer Science
Universitetsparken 5
2100 Copenhagen
Denmark