Professor

Lars Michael Kristensen

Institutt for datateknologi, elektroteknologi og realfag
Lars Michael Kristensen
Tel: +47 55 58 71 64
Epost: Send epost
Bergen
KRONSTAD, E406
Last ned kontaktkort
Sjå forskarprofil i CRIStin

Arbeids- og kompetanseområde

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.

  • Programmme Coordinator for the Master (siv.ing) programme of study in applied computer science and engineering at FIN https://ict.hvl.no/adaiv/
  • WP manager software technology and big-data middleware in the Centre for Research-based Innovation (SFI) SmartOcean https://sfismartocean.no   
  • Member of the PhD programme committe for computer science, and member of the study programme committee master programme and software engineering and for the bachelor and master programmes in information technology.
  • Co-investigator on software technology in the NFR-funded DYNAMIC project og fire safety and fire risk prediction

Member of several international conference programme committes within computer science, and member of the working group of the Norwegian Concultative Board on Informatics.

Personal home page: https://home.hvl.no/ansatte/lmkr/

 

Underviser i
  • Grunnleggende Programmering (bachelor)
  • Nettverksteknologi og distribuerte systemer (bachelor)
  • Avansert Programvareteknologi (master)
  • Model-basert programvareutvikling og pålitelige programvare system (phd)
Forskar på

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.

Forskargrupper

Publikasjonar

  • Coverage visualization and analysis of net inscriptions in coloured Petri net models

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2023)
    Innovations in Systems and Software Engineering 2023

  • A modular Smart Ocean Observatory for sensor and communication development, and surveillance of environmental parameters in and around an aquaculture research facility

    Bergh, Øivind, Danre, Jean-Baptiste, Stensland, Kjetil, Lima, Keila, Ngoc-Thanh, Nguyen, Heidal, Rogardt, Kristensen, Lars Michael, Oyetoyan, Tosin Daniel, Graves, Inger, Sætre, Camilla, Skålvik, Astrid Marie, Holstad, Marie Bueie, Henne, Ingvar, Stiansen, Jan Erik (2023)

  • A modular Smart Ocean Observatory for sensor and communication development, and surveillance of environmental parameters in and around an aquaculture facility

    Bergh, Øivind, Danre, Jean-Baptiste, Stensland, Kjetil, Lima, Keila, Nguyen, Ngoc-Thanh, Heidal, Rogardt, Kristensen, Lars Michael, Oyetoyan, Tosin Daniel, Graves, Inger, Sætre, Camilla, Skålvik, Astrid Marie, Holstad, Marie Bueie, Henne, Ingvar, Stiansen, Jan Erik (2023)

  • Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform

    Heldal, Rogardt, Kristensen, Lars Michael, Lima, Keila, Oyetoyan, Tosin Daniel, Nguyen, Ngoc Thanh (2023)
    CEUR Workshop Proceedings 2023 Volum 3430 ;s. 110-125

  • Engineering Challenges of Stationary Wireless Smart Ocean Observation Systems

    Nguyen, Ngoc Thanh, Heldal, Rogardt, Lima, Keila, Oyetoyan, Tosin Daniel, Pelliccione, Patrizio, Kristensen, Lars Michael, Hoydal, Kjetil Waldeland, Reiersgaard, Pal Asle, Kvinnsland, Yngve (2023)
    IEEE Internet of Things Journal 2023 Volum 10 ;(16)s. 14712-14724
Vis alle