Research interests
- Formal Methods in Software Engineering
- Type Theory, Lambda Calculus, Process Calculi & Logic
- Trustworthy and dependable distributed systems (including security and privacy)
- Secure and fair Crowdsourcing
- Automatic Program Synthesis and Theorem Provers/Assistants
- Robotic Process Automation (RPA)
- Ethical and Trustworthy Artificial Intelligence
- Cyber Security and Privacy
- Distributed ledger technology (blockchain)
- Software Engineering for mechanical engineering and logistics applications
- Functional Languages and Programming Paradigms
- Software Architecture
![Alternating Turing Machine deciding inhabitation for BCL](https://duedder.net/wp-content/uploads/2021/04/BCLATM-150x150.png)
![Program synthesis framework CLS](https://duedder.net/wp-content/uploads/2021/04/VS2014EditorExtension-150x150.png)
![Type rules for Bounded Combinatory Logic (BCL)](https://duedder.net/wp-content/uploads/2021/04/BCL-150x150.png)
![Scala code for CLS 2.0](https://duedder.net/wp-content/uploads/2021/04/ScalaFreeCellRepository-150x150.png)
![Trustworthy distributed computing](https://duedder.net/wp-content/uploads/2021/04/IMG_5842-150x150.jpeg)
![Maintenance of AI Systems](https://duedder.net/wp-content/uploads/2021/04/AIMaintenance-150x150.png)
![Clinical process](https://duedder.net/wp-content/uploads/2021/04/AerztlicheAufnahme-150x150.png)
![Data streams for digital hospitals](https://duedder.net/wp-content/uploads/2021/04/UESTC-150x150.png)
![Synthesized Lego NXT Robot](https://duedder.net/wp-content/uploads/2021/04/legoProgammeCode-150x150.jpg)
![LEGO NXT Robot executing synthesized control program](https://duedder.net/wp-content/uploads/2021/04/CameraZOOM-20140401131230948-150x150.jpg)
Previous
Next
- Mechanical engineering
- Data Ecosystems and Industrial Dataspaces
- Healthcare
- Logistics and supply chains
- Energy
Applications
Projects
- Z-Inspection: A process to assess trustworthy AI
- Traceable Pharmaceutical Products, Data+
- 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)
- COWI Foundation: Sustainable supply chains for bio-based products – using blockchain technology to accelerate sustainability in bio-based supply chains,
- Erasmus+ BlockNet (BlockChain Network Online Education for interdisciplinary European Competence Transfer, Project No: 2018-1-LT01-KA203-047044)