Research areas
Browse selected ongoing and completed projects.
AI4CCAM: Trustworthy AI for Cooperative, Connected & Automated Mobility
AIT4CR: AI-Powered Testing Infrastructure for Cancer Registry System
AutoCSP: Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction
CERCIRAS: Connecting Education and Research Communities for an Innovative Resource Aware Society
Co-tester: Collective-Adaptive Testing of Coevolving Autonomous Cyber-Physical Systems of Systems under Uncertainty
DYNAPORT: Dynamic Navigation and Port Call Optimisation in Real Time
DataSim: Data-driven Algorithms for Physical Simulations
Digital Twin-Enabled Operation Time Analyses
Distributed Learning and Cooperative Optimization for Multi-agent Autonomous Wireless Access Points (DISCO)
Enabling Future Dependable Ubiquitous Services and Data with Novel Testing Methods for Quantum Programs
Exciting times: Extreme modelling of excitable tissue (EMIx)
Gemini Center on Quantum Computing
IdentiPhy
Interview training of child-welfare and law-enforcement professionals interviewing maltreated children supported via artificial avatars
MELODIC: Multi-cloud Execution-ware for Large-scale Optimised Data-Intensive Computing
MicroCard: Numerical modeling of cardiac electrophysiology at the cellular scale
Nordic-Estonian Quantum Computing e-Infrastructure Quest
Quantum Software Engineering Project
RoboSAPIENS: Robotic Safe Adaptation In unprecedented Situations
SciML - Scientific Machine Learning
Simulation of Cardiac Devices and Drugs for In-Silico Testing and Certification (SimCardioTest)
SparCity: An Optimization and Co-design Framework for Sparse Computation
SysAFib: Systems medicine for diagnosis and stratification of atrial fibrillation
The Dynamic Heart - Computational Tools for Studying Cardiac Growth and Remodeling (DynaComp)
TrACEr: Time-Aware ConstrainEd Multimodal Data Fusion
VALIDATE
WTT4Oslo: Improving Quality of IoT-based Welfare Technology Solutions in the City of Oslo
Zygote - increased research capacity in applied biotechnology and sustainable breeding for the Inland region
bioAI – Biologically inspired Artificial Intelligence
cureIT - Adaptive Immunity for Software: Making Systems and Services Autonomously Self-Healing
Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems
5G-VINNI: 5G Verticals INNovation Infrastructure
ABB Robotics: Automated Software Testing of Complex Industrial Robotics Systems
AFib-TrainNet: EU Training Network on Novel Targets and Methods in Atrial Fibrillation
ATOS: Automated Testing of SOFIE
AUQ-PDE: Automated uncertainty quantification for numerical solutions of partial differential equations
Antikraak
CROWN: Cross-layer Research on Green Cooperative Cognitive Radio Networks and Services
CUPIDO: Cardio Ultraefficient nanoParticles for Inhalation of Drug prOducts
CanPathPro: Generation of the CanPath prototype - a platform for predictive cancer pathway modeling
Co-Evolver: Uncertainty-Aware Coevolution Design of Self-Adaptive Cyber-Physical Systems
DOMINOS: Dissecting and Modeling Interdependencies in Communication Networks
Data Science at Scale in Organizations: Enabling Safe Access to Sensitive Data
DigiBrain: From genes to brain function in health and disease
ERAC: Efficient and Robust Architecture for the Big Data Cloud
EVANS: End-to-end Virtual Resource Management across Heterogeneous Networks and Services
Efficient EONS: Execution of Large Workloads on Elastic Heterogeneous Resources
FLEX-MONROE: FIRE LTE Testbeds for Open Experimentation
Fabriscale
Forny-Titan
From Energy Systems to Energy Justice
FunDaHD: Function-driven Data Learning in High Dimension
HENCSAT: Network Coding Protocols for Satellite Terminals with Multiple Logical Paths
Improving treatment strategies for heart failure using patient-specific computer models
LADIO: Live Action Data Input/Output
LUCS: Learning to Understand and Control nation-wide Smart grids of energy prosumers
MAMI: Measurement and Architecture for a Middleboxed Internet
MBE-CR: An Innovative Approach for Longstanding Development and Maintenance of the Automated Cancer Registry System
MBT4CPS: Model-Based Testing For Cyber-Physical Systems
MI-RISK: Risk factors for sudden cardiac death during acute myocardial infarction
MONROE: Measuring Mobile Broadband Networks in Europe
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Meeting Exascale Computing with Source-to-Source Compilers
MobRob: Resilient Networks Mobile Broadband Measurements
ModelFusion: Model Management for Distributed Software Development
NEAT: A New, Evolutive API and Transport-Layer Architecture for the Internet
New Industrial Capabilities Through Embedded Multi-Core Systems
NumaMultiConnect: Cost-efficient HPC technology with mainframe capabilities
OPENCOSS: Open Platform for EvolutioNary Certification of Safety-critical Systems
OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics
OptCutCell: Simulation-based optimisation with dynamic domains
POPART: Previz for On-set Production - Adaptive Realtime Tracking
PREAPP: PRoductivity and Energy-efficiency through Abstraction-based Parallel Programming
PaSpMath: Patient-Specific Mathematical Modeling with Applications to Clinical Medicine: Stroke and Syringomyelia
Pacertool - a patient specific biofeedback guiding tool to improve Cardiac resynchronization therapy
Personalized Virtual Heart Models for Diagnosis and Treatment Planning in Patients with Heart Failure (MyVirtualHF)
ProNet: Protection of Power electronically Interfaced LV Distributed Generation Networks
Quantum safe cryptography for the Internet of Things
RITE: Reducing Internet Transport Latency
Raksha: 5G Security for Critical Communications
SARDS: Secure and Reliable Distributed Storage Systems
SMIOS: Successful ICT solutions in the public sector
TIDENET: Theoretical and Data-driven Approaches for Energy-efficient Networks
Testing of Learning Robots (T-Largo)
The Certus Centre (SFI)
TimeIn: Traffic behaviour of interactive time-dependent thin streams on the modern Internet
U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies
UMOD: Understanding and Monitoring Digital Wildfires
Unified PCIe IO: Unified PCI Express for Distributed Component Virtualization
User-friendly programming of GPU-enhanced clusters
Waterscales: Mathematical and computational foundations for modeling cerebral fluid flow
Waterscape: The Numerical Waterscape of the Brain
Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines
evolveIT: Evidence-Based Recommendations to Guide the Evolution of Component-Based Product Families
inHeart: In Silico Heart Failure - Tools for Accelerating Biomedical Research