Research areas
Browse selected ongoing and completed projects.
AI4CCAM: Trustworthy AI for Cooperative, Connected & Automated Mobility
AutoCSP: Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction
bioAI – Biologically inspired Artificial Intelligence
BioNT: Training and proffesionalisation in computation life sciences
CertiCoLab: Collaborative Laboratory for Investigating Certifiable Computation
CERTIFAI: Agile conformance assessment for cybersecurity CERTIFication enhanced by Artificial Intelligence
Co-tester: Collective-Adaptive Testing of Coevolving Autonomous Cyber-Physical Systems of Systems under Uncertainty
ColoCompare: colonoscopy guidance and AI assisted procedure comparison
cureIT - Adaptive Immunity for Software: Making Systems and Services Autonomously Self-Healing
Digital Twin-Enabled Operation Time Analyses
Digitizing and Automating the Diagnostic psychiatric Assessment Process (DADAP)
DYNAPORT: Dynamic Navigation and Port Call Optimisation in Real Time
Exciting times: Extreme modelling of excitable tissue (EMIx)
FAIR Image Analysis Across Sciences
FEniCS-in-the-Wild
Gemini Center on Quantum Computing
InnoGuard: Hybrid and Generative Intelligence for Trustworthy Autonomous Cyber-Physical Systems
NAIC: Norwegian AI Cloud
Nordic-Estonian Quantum Computing e-Infrastructure Quest
NorPQC - Supporting Norwayʼs Transition to Post-Quantum Cryptography
ODISSEE: Online Data Intensive Solutions for Science in the Exabytes Era
Private and Efficient Distributed Learning (PeerL)
ProCardio: Precision Health Center for cardiology
Quantum Software Engineering Project
RoboSAPIENS: Robotic Safe Adaptation In unprecedented Situations
secureIT
Simulation of Cardiac Devices and Drugs for In-Silico Testing and Certification (SimCardioTest)
Simulation-Based Training for Collaboration within and between Health Services
The Synthetic hEalthcare dAta goveRnanCe Hub (SEARCH)
VALIDATE
Virtual-Eye - Learning from human eye scanpaths for optimal autonomous search
Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems
ABB Robotics: Automated Software Testing of Complex Industrial Robotics Systems
AFib-TrainNet: EU Training Network on Novel Targets and Methods in Atrial Fibrillation
AIT4CR: AI-Powered Testing Infrastructure for Cancer Registry System
ATOS: Automated Testing of SOFIE
AUQ-PDE: Automated uncertainty quantification for numerical solutions of partial differential equations
CanPathPro: Generation of the CanPath prototype - a platform for predictive cancer pathway modeling
CERCIRAS: Connecting Education and Research Communities for an Innovative Resource Aware Society
Co-Evolver: Uncertainty-Aware Coevolution Design of Self-Adaptive Cyber-Physical Systems
CROWN: Cross-layer Research on Green Cooperative Cognitive Radio Networks and Services
CUPIDO: Cardio Ultraefficient nanoParticles for Inhalation of Drug prOducts
Data Science at Scale in Organizations: Enabling Safe Access to Sensitive Data
DataSim: Data-driven Algorithms for Physical Simulations
DigiBrain: From genes to brain function in health and disease
DOMINOS: Dissecting and Modeling Interdependencies in Communication Networks
Efficient EONS: Execution of Large Workloads on Elastic Heterogeneous Resources
Enabling Future Dependable Ubiquitous Services and Data with Novel Testing Methods for Quantum Programs
ERAC: Efficient and Robust Architecture for the Big Data Cloud
EVANS: End-to-end Virtual Resource Management across Heterogeneous Networks and Services
evolveIT: Evidence-Based Recommendations to Guide the Evolution of Component-Based Product Families
Fabriscale
FLEX-MONROE: FIRE LTE Testbeds for Open Experimentation
Forny-Titan
FunDaHD: Function-driven Data Learning in High Dimension
HENCSAT: Network Coding Protocols for Satellite Terminals with Multiple Logical Paths
IdentiPhy: In Silico Tools for Improved Drug
Improving treatment strategies for heart failure using patient-specific computer models
inHeart: In Silico Heart Failure - Tools for Accelerating Biomedical Research
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
Meeting Exascale Computing with Source-to-Source Compilers
MELODIC: Multi-cloud Execution-ware for Large-scale Optimised Data-Intensive Computing
MI-RISK: Risk factors for sudden cardiac death during acute myocardial infarction
MicroCard: Numerical modeling of cardiac electrophysiology at the cellular scale
MobRob: Resilient Networks Mobile Broadband Measurements
ModelFusion: Model Management for Distributed Software Development
MONROE: Measuring Mobile Broadband Networks in Europe
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
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
Pacertool - a patient specific biofeedback guiding tool to improve Cardiac resynchronization therapy
PaSpMath: Patient-Specific Mathematical Modeling with Applications to Clinical Medicine: Stroke and Syringomyelia
Personalized Virtual Heart Models for Diagnosis and Treatment Planning in Patients with Heart Failure (MyVirtualHF)
POPART: Previz for On-set Production - Adaptive Realtime Tracking
PREAPP: PRoductivity and Energy-efficiency through Abstraction-based Parallel Programming
ProNet: Protection of Power electronically Interfaced LV Distributed Generation Networks
Quantum safe cryptography for the Internet of Things
RITE: Reducing Internet Transport Latency
SARDS: Secure and Reliable Distributed Storage Systems
SciML - Scientific Machine Learning
SMIOS: Successful ICT solutions in the public sector
SparCity: An Optimization and Co-design Framework for Sparse Computation
SysAFib: Systems medicine for diagnosis and stratification of atrial fibrillation
Testing of Learning Robots (T-Largo)
The Certus Centre (SFI)
The Dynamic Heart - Computational Tools for Studying Cardiac Growth and Remodeling (DynaComp)
TIDENET: Theoretical and Data-driven Approaches for Energy-efficient Networks
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
WTT4Oslo: Improving Quality of IoT-based Welfare Technology Solutions in the City of Oslo
Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines