Capacity building within research
Find an overview of the DIREC researchers and PhD students hired so far.
Menu
Find an overview of the DIREC researchers and PhD students hired so far.
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
Mutimodal data processing of earth observation data
Verifiable and Safe AI for Autonomous Systems
Explain Me: Learning to Collaborate via Explainable AI in Medical Education
Secure Internet of Things
Benefit and Bias of Approximate Nearest Neighbor Search for Machine Learning and Data Mining
Secure Internet of Things
Mutimodal data processing of earth observation data
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 Protocols and Blockchains
Embedded AI
Verified Protocols and Blockchains
Automated Verification of Sensitivity
Verified Voting Protocols and Blockchains
Embedded AI
HERD: Human-AI collaboration: Engaging and controlling swarms of robots and drones
Embedded AI
Business Transformation and Organisational AI-based Decision Making
Secure Internet of Things – Risk Analysis ind Design and Operation (SIOT)
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 via Animation Videos
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
Online Algorithms with predictions
Trust Through Software Independence and Program Verification
Trust Through Software Independence and Program Verification
Verifiable and Safe AI for Autonomous Systems
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
