lmk lmk

Lars Michael Kristensen, Professor, PhD
Department of Computer Science, Electrical Engineering, and Mathematical Sciences
Faculty of Engineering and Science
Western Norway University of Applied Sciences (formerly Bergen University College)
Inndalsveien 28, Postbox 7030, 5020 Bergen, Norway

Office: E503
Tel: +47 55 58 71 64 (direct)
Email: lmkr [at] hvl.no Web: www.lmkr.org | home.hib.no/ansatte/lmkr

General Information

Teaching and supervision competence

  • Programming and software development
  • Software technology and engineering
  • TCP/IP network technology, distributed systems and applications
  • Computer architecture and operating systems
  • Cloud computing platforms and programming for the Internet-of-things
  • Modelling, validation, and verification of distributed and concurrent systems
  • Coloured Petri Nets and CPN Tools
  • Sensor networks and ad-hoc networking
  • Unified Modelling Language (UML) and model-driven software engineering

Short biography

Lars M. Kristensen received the PhD in computer science from University of Aarhus (2000), and is currently professor in computer science and software engineering at Western Norway University of Applied Sciences. Upon the completion of his PhD, he worked as a post-doctoral researcher in computer systems engineering at University of South Australia and the Australian Defence Science and Technology Organisation concentrating on software tools for military planning and on development of real-time avionics mission systems. Following the post-doctoral research position, he obtained a permanent position at University of Aarhus and was involved in a number of industry supported research projects within modelling and validation of Internet protocols, mobile ad-hoc networks, and sensor networks. He has published more than 70 papers in strictly referred journal and conferences, is member of the Editorial Board of the TopNoC Springer journal, and is a member of the steering committee for the International Petri Nets conference. He is co-author of the most recent textbook on Coloured Petri Net and CPN Tools which is one of the most widely used software tools for modelling and validation of concurrent systems. In 2007 he received the Danish Research Councils' Young Researcher's Award and in 2012 he was awarded the Research and Development Award of Bergen University College.

Current and Recent Research and Development Activities

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.

  • Computer Science - Research in Software Engineering, Engineering Computing, and Sensor Networks at Western Norway University of Applied Sciences.
  • SFI SmartOcean: Centre for Research-based Innovation supported by the Norwegian Research Council. WP leader of the work package on software technology and big-data middleware.
  • PEDA: Performance Evaluation of Distributed Automation Architectures with Schneider Electric.
  • EDoCS: Model-driven Software Engineering of Doser Control Software with Atlas Copco.
  • DYNAMIC: Reducing Fire Disaster Risk Through Dynamic Risk Assessment and Management. Supported by the Norwegian Research Council.
  • Coloured Petri Nets and applications of CPN Tools

Research Boards and Organisations

Books and Proceedings

pnse lmk lmk lmk lmk lmk