Research

Research interests

  • Formal Methods in Software Engineering
  • Type Theory, Lambda Calculus, Process Calculi & Logic
  • Trustworthy and dependable distributed systems (including security and privacy)
  • Resilient Systems
  • 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

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)