Projekter

Projekter er omdrejningspunktet i mange af initiativerne i DIREC. I alt har vi startet mere end 50 projekter, der involverer 55+ virksomheder og organisationer.

Projektkatalog

Threshold Key Management in the Post-Quantum Era: Kvantesikker kryptografi 

DIPS in Space: Cybersikkerhed til satelitter

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

FAIRFM: Vejen til ligeværdige ultralydsscanninger

1813AI: Ansvarlig AI til akuttelefonen

GREENSQL: Grøn digitalisering starter i databasen

MOTUS: Sikre og ansvarlige co-bots i sundhed og industri

REINS: AI til industrien – uden skyen

PERSIST: Autonome droner, der beskytter Danmarks infrastruktur

Sikker softwareudvikling i en ny virkelighed

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

Accountability Privacy Preserving Computation via Blockchain

Methodologies for scheduling and routing droplets in digital microfluidic biochips

Automated Verification of Sensitivity Properties for Probabilistic Programs

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

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

Certifiable Controller Synthesis for Cyber-Physical Systems

Understanding Biases and Diversity of Big Data used for Mobility Analysis

Ergonomic & Practical Effect Systems

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

FAIRFM: Vejen til ligeværdige ultralydsscanninger

1813AI: Ansvarlig AI til akuttelefonen

GREENSQL: Grøn digitalisering starter i databasen

MOTUS: Sikre og ansvarlige co-bots i sundhed og industri

REINS: AI til industrien – uden skyen

PERSIST: Autonome droner, der beskytter Danmarks infrastruktur

Sikker softwareudvikling i en ny virkelighed

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: Kvantesikker kryptografi 

DIPS in Space: Cybersikkerhed til satelitter

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

Sikker softwareudvikling i en ny virkelighed

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

FAIRFM: Vejen til ligeværdige ultralydsscanninger

1813AI: Ansvarlig AI til akuttelefonen

MOTUS: Sikre og ansvarlige co-bots i sundhed og industri

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

Automatic Tuning of Spin-qubit Arrays

GREENSQL: Grøn digitalisering starter i databasen

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: Autonome droner, der beskytter Danmarks infrastruktur

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

Methodologies for scheduling and routing droplets in digital microfluidic biochips

Automated Verification of Sensitivity Properties for Probabilistic Programs

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

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

Understanding Biases and Diversity of Big Data used for Mobility Analysis

Ergonomic & Practical Effect Systems

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