Boris Düdder
Boris Düdder

Associate Professor

Dr. Boris Düdder is an assistant professor at the department of computer science (DIKU) at the University of Copenhagen (UCPH), Denmark.He is head of the research group Software Engineering & Formal Methods at DIKU. His primary research interests are artificial intelligence and formal methods in software engineering, where he is studying automated program generation for adaptive systems with high-reliability guarantees. He is working on the computational foundations of reliable and secure Big Data ecosystems. His research is bridging the formal foundations of computer science and complex industrial applications.

He is involved in multiple projects on innovative and dependable industrial IT infrastructure for enterprises, manufacturing industries, and national healthcare IT, e.g., Data Ecosystems, Smart Factories, and Industry 4.0. He received several research grants on international, European, and national levels on scalable infrastructures for data ecosystems, healthcare IT, blockchain, and FinTech, where he enjoys operating in multinational interdisciplinary consortia.

Primary fields of research

  • Formal Methods in Software Engineering
  • Artificial Intelligence in Software Engineering
  • Secure Data Ecosystems
  • Reliable, safe and secure distributed systems

Current research

  • Automatic program generation (Project Combinatory Logic Synthesizer)
  • Automatic verification and analysis of compositional IT systems
  • Smart Factories, Manufacturing Systems, and Industry 4.0
  • Secure Healthcare Integration Infrastructures
  • Distributed Digital Ledgers (blockchain technologies)
  • Scalable IT infrastructure for Supply-chains and Logistics

Research projects:

  • PAPRiCaS: Programming technology foundations for Accountability, Privacy-by-design & Robustness in Context-aware Systems
  • ReVUS: Udvikling af infrastruktur til sikker datadeling i sundhedssektoren (Development of secure data sharing infrastructure for the healthcare sector)
  • BlockNet: BlockChain Network Online Education for interdisciplinary European Competence Transfer
  • Sustainable supply chains for bio-based products —- using blockchain technology to accelerate sustainability in bio-based supply chains

Teaching

  • Software development 2016/2017, 2017/2018, 2018/2019, 2019/2020
  • Blockchain Business Development 2019/2020
  • Subjects in Blockchain Technology
  • Advanced Functional Programming 2019

ID: 172785813