Billede af Boris Dudder

Boris Düdder

Dr. rer. nat.

20122019

Publikationer pr. år

Personlig profil

Kort præsentation

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.

Primære forskningsområder

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

Aktuel forskning

  • 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

Undervisnings- og vejledningsområder

  • Softwareudvikling 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.

Uddannelse (Akademiske kvalifikationer)

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

Dimissionsdato: 31 aug. 2014

Formal verification of materialflow systems, Technische Universität Dortmund

Dimissionsdato: 31 aug. 2008

Emneord

  • Det Natur- og Biovidenskabelige Fakultet

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Boris Düdder er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler
  • 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, s. 356-371 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11200 LNCS).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

    2 Citationer (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, I: Logical Methods in Computer Science. 14, 1, s. 1-37 18.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    4 Citationer (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. (red.). CEUR-WS.org, 6 s. (CEUR Workshop Proceedings, Bind 1898).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    7 Citationer (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. (red.). Springer Verlag, s. 303-317 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    6 Citationer (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. (red.). Springer Verlag, s. 266-281 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    9 Citationer (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. (red.). Springer Verlag, s. 123-140 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9539).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    5 Citationer (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. (red.). Springer Verlag, s. 261-265 5 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 76-91 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 38).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

    6 Citationer (Scopus)