Research output per year
Research output per year
Dr. rer. nat.
Sigurdsgade 41, 2200 København N.
Sigurdsgade 41
2200 København N.
Research activity per year
Dr. Boris Düdder is an associate professor at the Department of Computer Science (DIKU) at the University of Copenhagen (UCPH), Denmark. He is head of the Software Engineering & Formal Methods research group at DIKU. His primary research interests are formal methods and programming languages in software engineering of trustworthy distributed systems, 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 international, European, and national research grants on scalable infrastructures for data ecosystems, healthcare IT, blockchain, and FinTech, where he enjoys operating in multinational interdisciplinary consortia.
Research projects:
Boris Düdder is an associate professor at the Department of Computer Science (DIKU) at the University of Copenhagen (UCPH), Denmark. His primary research interests are formal methods and programming languages in software engineering for trustworthy distributed systems, where he is studying automated program generation for adaptive systems with high-reliability guarantees, amongst other topics. 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 a guest lecturer at the Copenhagen Business School (CBS), Denmark, and the University of Electronic Science and Technology of China (UESTC), Chengdu, P.R. China. 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 international, European, and national research grants on scalable infrastructures for data ecosystems, healthcare IT, blockchain, and FinTech, where he enjoys operating in multinational interdisciplinary consortia. He is a research fellow at the Institute for Intelligent Production Systems, Qingdao, P.R. China. He was awarded numerous prizes for his contributions to academia and industry.
He is a European Blockchain Center (EBCC) member, co-organizer of the Blockchain Summer Schools in Copenhagen from 2017 to 2020, and UCPH representative at the European Cyber Security Organisation (ECSO) in Brussels, Belgium. His community services include serving on program committees for various academic conferences and workshops. He is also an invited speaker at various international academic and industrial conferences, symposia, and workshops.
He received his Ph.D. (Dr. rer. nat.) at the Technical University of Dortmund, Germany, where he worked for nine years as a research chair manager and senior researcher. He was a senior researcher at the Fraunhofer Institute for Software- and Systems Engineering (ISST) and Fraunhofer Institute for Material Flow and Logistics (IML), Dortmund, Germany. He was a faculty at Tsinghua University, Beijing, P.R. China.
He has over 15 years of industry experience and founded multiple companies in industrial geographical information systems, supply chain IT, and predictive analytics on Big Data. He serves on the business advisory boards of Aryze IVS and NTA IVS, Denmark. He worked as an international consultant and software engineer for European banks, logistic providers, and manufacturing companies, e.g., a consultant for Microsoft Corp., Redmond.
Computer Science, Dr. rer. nat., Technische Universität Dortmund
Award Date: 31 Aug 2014
Computer Science, Diplom, Technische Universität Dortmund
Award Date: 31 Aug 2008
External lecturer, Copenhagen Business School
2019 → …
Guest lecturer, University of Electronic Science and Technology of China
2019 → …
Research output: Working paper › Research
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to conference › Paper › Research › peer-review
Research output: Working paper › Preprint › Research
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Boris Düdder (Member)
Activity: Membership types › Membership in research network
Boris Düdder (Member)
Activity: Membership types › Membership in research network
Boris Düdder (Member)
Activity: Membership types › Membership in research network
Boris Düdder (Organizer), Omri Ross (Organizer) & Fritz Henglein (Organizer)
Activity: Participating in an event - types › Organisation of and participation in conference
06/09/2021
1 item of Media coverage
Press/Media: Press / Media
15/04/2021
1 item of Media coverage
Press/Media: Press / Media
12/12/2017
1 Media contribution
Press/Media: Press / Media
Düdder, Boris (Recipient), 2022
Prize: Prizes, scholarships, distinctions