Research

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
Program synthesis framework CLS
Type rules for Bounded Combinatory Logic (BCL)
Scala code for CLS 2.0
Trustworthy distributed computing
Maintenance of AI Systems
Clinical process
Data streams for digital hospitals
Synthesized Lego NXT Robot
LEGO NXT Robot executing synthesized control program
  • 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)