Boris Dudder

Boris Düdder

Dr. rer. nat.

20122019

Research activity per year

Personal profile

Short presentation

Boris Düdder is Assistant Professor in Software Engineering. He was leading a research team in software engineering at Technical University Dortmund, Germany, after finishing his doctorate in Dortmund in 2014. His research topic is automatic software generation technology. He was a researcher at Fraunhofer Institute for Software- and System Engineering and worked as an IT consultant and enterprise architect in banking and finance and Microsoft Corp., Redmond. Funded a software company and was its CEO. Worked at CERN, Geneva, after studying physics and mathematics at Ruhr University Bochum. Received various industry and academic awards.

Primary fields of research

  • Formal Methods in Software Engineering
  • Artificial Intelligence in Software Engineering
  • Automatic software generation methods and technology
  • Reliable, safe and secure distributed systems

Current research

  • Automatic program generation
  • Automatic verification and analysis of compositional IT systems
  • Smart Factories, Manufacturing Systems, and Industry 4.0
  • Distributed Digital Ledgers (blockchain technologies)
  • Supply-chains and Logistics
  • Energy Systems
  • Enterprise Architecture

Teaching

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

CV

Boris Düdder is Assistant Professor in Formal Methods in Software Engineering. He was leading a research team in software engineering at Technical University Dortmund, Germany, after finishing his doctorate in Dortmund in 2014. He was a researcher at Fraunhofer Institute for Software- and System Engineering and worked as IT consultant and enterprise architect in banking and finance and Microsoft Corp., Redmond. Funded a software company and was its CEO. Worked at CERN, Geneva, after studying physics and mathematics at Ruhr University Bochum. He received various national and international research grants as well as industry and academic awards.

Education/Academic qualification

Automatic Synthesis of Component & Connector-Software Architectures with Bounded Combinatory Logic, Technische Universität Dortmund

Award Date: 31 Aug 2014

Formal verification of materialflow systems, Technische Universität Dortmund

Award Date: 31 Aug 2008

Keywords

  • Faculty of Science
  • Software architecture
  • Software technology
  • Software engineering
  • Distributed systems
  • IT architecture
  • Safety
  • IT security
  • Distributed computing
  • Manufacturing systems
  • Logistics
  • Supply chain
  • Formal methods
  • Synthesis
  • Business IT
  • IT management
  • Cyber security
  • Reliable systems
  • Resilient systems
  • Program repair
  • Theorem proving
  • Model checking
  • Distributed Ledger
  • IT service management
  • ITIL
  • Project management
  • Critical Infrastructure
  • Cyber physical systems
  • Systems engineering
  • Artificial Intelligence

Fingerprint

Dive into the research topics where Boris Düdder is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • Fast Verified BCD Subtyping

    Bessai, J., Rehof, J. & Düdder, B., 1 Jan 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 356-371 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    2 Citations (Scopus)
  • Mixin Composition Synthesis based on Intersection Types

    Bessai, J., Chen, T.-C., Dudenhefner, A., Duedder, B., de'Liguoro, U. & Rehof, J., 27 Feb 2018, In: Logical Methods in Computer Science. 14, 1, p. 1-37 18.

    Research output: Contribution to journalJournal articleResearchpeer-review

    4 Citations (Scopus)
  • Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

    Düdder, B. & Ross, O., 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    7 Citations (Scopus)
  • A long and winding road towards modular synthesis

    Heineman, G. T., Bessai, J., Düdder, B. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 303-317 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    6 Citations (Scopus)
  • Combinatory process synthesis

    Bessai, J., Dudenhefner, A., Düdder, B., Martens, M. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 266-281 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    9 Citations (Scopus)
  • Combinatory synthesis of classes using feature grammars

    Bessai, J., Düdder, B., Heineman, G. T. & Rehof, J., 1 Jan 2016, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Springer Verlag, p. 123-140 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9539).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    5 Citations (Scopus)
  • ModSyn-PP: Modular synthesis of programs and processes track introduction

    Düdder, B., Heineman, G. T. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 261-265 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Mixin composition synthesis based on intersection types

    Bessai, J., Dudenhefner, A., Düdder, B., Chen, T. C., De'Liguoro, U. & Rehof, J., 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015. Altenkirch, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 76-91 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 38).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    6 Citations (Scopus)