Software Engineering, Sensor Networks and Engineering Computing
Research in Information and Communication Technology
COEMS – Continuous Observation of Embedded Multicore Systems (2016-2019). EU H2020 program
FormGrid: Formal Verification of Grid Systems (2010-2014). Supported by the Norwegian Research Council
Multi Scale Domain Decomposition Methods (2011-2015). Supported by the Norwegian Research Council
Partner in CERN project supported by Norwegian Funding of CERN research (until 2015)
The Michelsen Center for Industrial Measurement Science and Technology (until 2014). Partner in Centre for Research-based Innovation support by the Norwegian Research Council and headed by Christian Michelsen Research
SimSubsea: A Game-based Learning Application for the Subsea Domain (2012-2015). Supported by several companies in the subsea domain
MoDiPS: Model-driven Development of Reliable Distributed Systems (2014-2015). Supported by UH-Nett Vest. Partners: University of Bergen and University of Stavanger.
Towards New Techniques for Memory Efficient and Distributed Model Checking of Software. Mobility grant supported by the Norwegian Research Council for collaboration with University Paris Nord, 2012.
Model-driven Simulator Development (2011-2012). Partner in project headed by Ålesund University College and supported by the MAROFF Programme of the Norwegian Research Council
Beregningsorientert medisin: Numeriske modeller for medisinske bilder og signaler / Computational medicine: Numerical models for medical images and signals (2015). Joint with UiB, HUH, UiS. Supported by UH-Nett Vest
Efficient preconditioners for problems with multiple scale. Joint with FH Bielefeld, Germany. Supported by the DAADppp program of the Norwegian Research Council
Discrete Mechanics, Geometric Integration and Lie-Butcher Series. Joint with CSIC-Spain and UiB. Supported by a NILS EEA grant