Field of work

Lecturer in the bachelor programmes at HVL in software engineering and information technology, the master programme in software engineering, and the PhD programme in computer science. Supervisor for bachelor, master, and PhD students in software engineering and computer science at HVL.

Chair of the PhD programme committe for computer science, and member of the study programme committee for the bachelor and master programmes in information technology.

Work package leader for software technology and big-data middleware in the SFI smart ocean project and co-investigator in the NFR-funded DYNAMIC project. Member of several international conference programme committes within computer science. 

Courses taught

  • Introduction to Programming (bachelor)
  • Network Technology and Distributed Systems (bachelor)
  • Advanced Software Technologies (master)
  • Model-driven Software Engineering anmd Reliable Software Systems (phd)

Research areas

My research interests are in the areas of concurrent and distributed software systems engineering, model-driven software engineering, software verification, explicit state space methods and model checking, computer tools for validation and verification, ad hoc networking and sensor networks for industrial automation, modeling and reliability of process and control systems, cloud computing and internet-of-things.

Research groups


  • MC/DC Test Cases Generation Based on BDDs

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2021)
  • Automated 3D Vegetation Detection Along Power Lines using Monocular Satellite Imagery and Deep Learning

    Gazzea, Michele, Aalhus, Sindre, Kristensen, Lars Michael, Ozguven, Eren Erman, Arghandeh, Reza (2021)
  • Development and Evaluation of a Software System for Fire Risk Prediction

    Halderaker, Eivind Dagsland, Evjenth, Andreas, Kristensen, Lars Michael, Strand, Ruben Dobler (2021)
  • Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms

    Rodriguez Tena, Alejandro, Kristensen, Lars Michael, Rutle, Adrian (2021)
  • Simulation and analysis of MultEcore multilevel models based on rewriting logic

    Rodríguez, Alejandro, Durán, Francisco, Kristensen, Lars Michael (2021)