I am an assistant professor at the Computer Science Department (DIKU) of the University of Copenhagen, head of the research group Security & Privacy 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),
  • blockchain/distributed ledger technologies,
  • logistics, supply chain management, and
  • energy networks.