Vi ønsker at gøre Danmark til en international digital frontløber. For at opnå dette sigter vi efter at styrke forskningskapaciteten i Danmark ved at uddanne flere unge og dygtige datalogiske forskere og tiltrække flere internationale datalogiske topforskere til Danmark.
Verifiable and Safe AI for Autonomous Systems
Verifiable and Safe AI for Autonomous Systems
Mobility Analytics Using Sparse Mobility Data and Open Spatial Data
Mobility Analytics Using Sparse Mobility Data and Open Spatial Data
HERD: Human-AI collaboration: Engaging and controlling swarms of Robots and Drones
Verifiable and Safe AI for Autonomous Systems + Certifiable Controller Synthesis
Verifiable and Safe AI for Autonomous Systems
Explain Me: Learning to Collaborate via Explainable AI in Medical Education
Secure Internet of Things
Ergonomic and Practical Effect Systems
Secure Internet of Things
Privacy and Machine Learning
ReWork: The Future of Hybrid Work
Accountable Privacy Preserving
Mobility Analytics using Sparse Mobility Data and Open Spatial Data
Verified Voting Protocols and Blockchains
Embedded AI
Cybersecurity and Blockchains
Automated Verification of Sensitivity
Verified Voting Protocols and Blockchains
Embedded AI
Certifiable Controller Synthesis
HERD: Human-AI collaboration: Engaging and controlling swarms of robots and drones
Embedded AI
Business Transformation and Organisational AI-based Decision Making
Edge-based AI Systems for Predictive Maintenance
Deep Learning and Automation of Imaging-Based Quality of Seeds and Grains
Explain Me: Learning to Collaborate via Explainable AI in Medical Education
Secure Internet of Things
Embedded AI
Automated Verification of Sensitivity Properties for Probalistic Programs
Business Innovation, Processes and Models + Cybersecurity and Blockchains
Business Innovation, Processes and Models + Verification and Software Engineering
Business Innovation, Processes and Models + Verification and Software Engineering
Cybersecurity and Blockchains
Cybersecurity and Blockchains
Methodologies for scheduling and routing droplets in digital microfluidic biochips
IOT, Cyberphysical and Autonomous Systems + Cybersecurity and Blockchains
Verification and Software Engineering
IOT, Cyber-physical and Autonomous Systems
Edge-based AI Systems for Predictive Maintenance
ReWork: The Future of Hybrid Work
Verifiable and Safe AI for Autonomous Systems
Edge-based AI Systems for Predictive Maintenance
Online Algorithms with Predictions + Algorithms education
Supporting Diversity via Inclusive Teaching/Learning Activities
Benefit and Bias of Approximate Nearest Neighbor Search for Machine Learning and Data Mining
Benefit and Bias of Approximate Nearest Neighbor Search for Machine Learning and Data Mining
Diversity, Ethics and Privacy
Understanding Biases and Diversity of Big Data Used for Mobility Analysis
AI and Blockchains for Complex Business Processes
AI and Blockchains for Complex Business Processes
AI and Blockchains for Complex Business Processes
Explain Me: Learning to Collaborate via Explainable AI in Medical Education
ReWork: The Future of Hybrid Work
AI and Blockchains for Complex Business Processes
ReWork: The Future of Hybrid Work
Explain Me: Learning to Collaborate via Explainable AI in Medical Education
HERD: Human-AI collaboration: Engaging and controlling swarms of Robots and Drones
Mobility Analytics Using Sparse Mobility Data and Open Spatial Data
Edge-based AI Systems for Predictive Maintenance
Edge-based AI Systems for Predictive Maintenance
Online Algorithms with Predictions
