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

A homepage section


I am Associate Professor at the Computer Science Department (DIKU) at the University of Copenhagen, head of the research group Software Engineering & Formal Methods at DIKU, and representative in the European Cybersecurity Organisation (ECSO). My research topics are:

  • formal methods and artificial intelligence in software engineering and
  • dependable distributed systems with safety guarantees.

My applied research projects are in the fields of

  • mechanical engineering (shop floor automatization),
  • data ecosystems,
  • healthcare,
  • blockchain/distributed ledger technologies,
  • logistics, supply chain management, and
  • energy networks.



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