Dr. Boris Düdder is widely recognised as a leading authority in the field of software engineering and formal methods. He leads the research group on Software Engineering & Formal Methods. Dr. Düdder’s primary research interests lie in the areas of formal methods and programming languages in software engineering of trustworthy distributed systems, with a focus on automated program generation for adaptive systems with high-reliability guarantees. His work also involves the computational foundations of resilient, reliable, and secure Big Data ecosystems. Dr. Düdder’s long-term research vision is to develop dependable, adaptive, and software-defined technical systems.