Projects

Projects are the key driver in DIREC. In total, we have initiated more than 50 projects with 55+ private companies and public organizations involved.

Project catalogue

Threshold Key Management in the Post-Quantum Era: Quantum-Secure Cryptography

DIPS in Space: Cybersecurity for satellites

Privacy in the Realm of Multilingual Programs: Security in Hybrid Apps

Security by Design for AI Startups: Secure and Scalable AI Agents

SECUREAM: Cybersecurity in 3D printing

Clearsight: Protecting Denmark’s Digital Infrastructure

PERSIST: Persistent Drone Operations at Critical Infrastructure

REINS – Runtime Reconfigurable Embedded Intelligence for Resource-Constrained Cyber-Physical Systems

MOTUS: Monitoring and Testing of Uncertainty and Safety for Smart Co-bots

GREENSQL: AI-Based Energy Estimation for Sustainable SQL

Understanding and Supporting Secure AI Tools in Software Development Teams

Citizen-Facing Bidirectional AI for Emergency Triage (1813AI)

FairFM: Robustness and Fairness of Fetal Ultrasound Foundation Models

Automatic Tuning of Spin-qubit Arrays

Verified Voting Protocols and Blockchains

Online Algorithms with Predictions

Benefit and Bias of Approximate Nearest Neighbor Search for Machine Learning and Data Mining

Low-Code Programming of Spatial Contexts for Logistic Tasks in Mobile Robotics

Trust through Software Independence and Program Verification

Multimodal Data Processing of Earth Observation Data

Cyber-Physical Systems with Humans in the Loop

Re-use of robotic data in production through search, simulation and learning

DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems

Initiatives to improve recruitment and retention of IT students

Algorithms education via animation videos

Accountability Privacy Preserving Computation via Blockchain

Certifiable Controller Synthesis for Cyber-Physical Systems

Methodologies for scheduling and routing droplets in digital microfluidic biochips

Automated Verification of Sensitivity Properties for Probabilistic Programs

Understanding Biases and Diversity of Big Data used for Mobility Analysis

Ergonomic & Practical Effect Systems

Hardware/software Trade-off for the Reduction of Energy Consumption

Software Infrastructures for Teaching at Scale

Learning Technology for Improving Teaching Quality at Scale

Supporting Diversity via inclusive Teaching/Learning Activities

Privacy and Machine Learning

Machine Learning Algorithms Generalisation

Explainable AI

REWORK – The future of hybrid work

Secure Internet of Things – Risk Analysis in Design and Operation (SIoT)

Embedded AI

HERD: Human-AI Collaboration: Engaging and Controlling Swarms of Robots and Drones

EXPLAIN-ME: Learning to Collaborate via Explainable AI in Medical Education

Business Transformation and Organisational AI-based Decision Making

AI and Blockchains for Complex Business Processes

Mobility Analytics using Sparse Mobility Data and Open Spatial Data

Deep Learning and Automation of Image-Based Quality of Seeds and Grains

Edge-based AI Systems for Predictive Maintenance

Verifiable and Safe AI for Autonomous Systems

PERSIST: Persistent Drone Operations at Critical Infrastructure

REINS – Runtime Reconfigurable Embedded Intelligence for Resource-Constrained Cyber-Physical Systems

MOTUS: Monitoring and Testing of Uncertainty and Safety for Smart Co-bots

GREENSQL: AI-Based Energy Estimation for Sustainable SQL

Understanding and Supporting Secure AI Tools in Software Development Teams

Citizen-Facing Bidirectional AI for Emergency Triage (1813AI)

FairFM: Robustness and Fairness of Fetal Ultrasound Foundation Models

Machine Learning Algorithms Generalisation

Explainable AI

Embedded AI

HERD: Human-AI Collaboration: Engaging and Controlling Swarms of Robots and Drones

EXPLAIN-ME: Learning to Collaborate via Explainable AI in Medical Education

Business Transformation and Organisational AI-based Decision Making

AI and Blockchains for Complex Business Processes

Deep Learning and Automation of Image-Based Quality of Seeds and Grains

Edge-based AI Systems for Predictive Maintenance

Verifiable and Safe AI for Autonomous Systems

Threshold Key Management in the Post-Quantum Era: Quantum-Secure Cryptography

DIPS in Space: Cybersecurity for satellites

Privacy in the Realm of Multilingual Programs: Security in Hybrid Apps

Security by Design for AI Startups: Secure and Scalable AI Agents

SECUREAM: Cybersecurity in 3D printing

Clearsight: Protecting Denmark’s Digital Infrastructure

Understanding and Supporting Secure AI Tools in Software Development Teams

Verified Voting Protocols and Blockchains

Trust through Software Independence and Program Verification

Accountability Privacy Preserving Computation via Blockchain

Certifiable Controller Synthesis for Cyber-Physical Systems

Privacy and Machine Learning

Secure Internet of Things – Risk Analysis in Design and Operation (SIoT)

AI and Blockchains for Complex Business Processes

Verifiable and Safe AI for Autonomous Systems

MOTUS: Monitoring and Testing of Uncertainty and Safety for Smart Co-bots

Citizen-Facing Bidirectional AI for Emergency Triage (1813AI)

FairFM: Robustness and Fairness of Fetal Ultrasound Foundation Models

EXPLAIN-ME: Learning to Collaborate via Explainable AI in Medical Education

Automatic Tuning of Spin-qubit Arrays

GREENSQL: AI-Based Energy Estimation for Sustainable SQL

Multimodal Data Processing of Earth Observation Data

Hardware/software Trade-off for the Reduction of Energy Consumption

HERD: Human-AI Collaboration: Engaging and Controlling Swarms of Robots and Drones

Mobility Analytics using Sparse Mobility Data and Open Spatial Data

Verifiable and Safe AI for Autonomous Systems

PERSIST: Persistent Drone Operations at Critical Infrastructure

Low-Code Programming of Spatial Contexts for Logistic Tasks in Mobile Robotics

Re-use of robotic data in production through search, simulation and learning

HERD: Human-AI Collaboration: Engaging and Controlling Swarms of Robots and Drones

Online Algorithms with Predictions

Cyber-Physical Systems with Humans in the Loop

DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems

Initiatives to improve recruitment and retention of IT students

Algorithms education via animation videos

Software Infrastructures for Teaching at Scale

Learning Technology for Improving Teaching Quality at Scale

Supporting Diversity via inclusive Teaching/Learning Activities

EXPLAIN-ME: Learning to Collaborate via Explainable AI in Medical Education

Online Algorithms with Predictions

Benefit and Bias of Approximate Nearest Neighbor Search for Machine Learning and Data Mining

DeCoRe: Tools and Methods for the Design and Coordination of Reactive Hybrid Systems

Methodologies for scheduling and routing droplets in digital microfluidic biochips

Automated Verification of Sensitivity Properties for Probabilistic Programs

Understanding Biases and Diversity of Big Data used for Mobility Analysis

Ergonomic & Practical Effect Systems

Hardware/software Trade-off for the Reduction of Energy Consumption

Machine Learning Algorithms Generalisation

Mobility Analytics using Sparse Mobility Data and Open Spatial Data

Deep Learning and Automation of Image-Based Quality of Seeds and Grains

REWORK – The future of hybrid work

Secure Internet of Things – Risk Analysis in Design and Operation (SIoT)

HERD: Human-AI Collaboration: Engaging and Controlling Swarms of Robots and Drones

EXPLAIN-ME: Learning to Collaborate via Explainable AI in Medical Education