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,
programming language and computational models for
dependable distributed systems with safety and security guarantees.