lmk lmk

Lars Michael Kristensen, Professor, PhD
Department of Computing, Mathematics, and Physics
Faculty of Engineering
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 (NEW EMAIL ADDRESS AS OF 01.01.2017)
Web: www.lmkr.org | home.hib.no/ansatte/lmkr


General Information

Teaching

Short biography

Lars M. Kristensen received the PhD in computer science from University of Aarhus, and is currently professor in software engineering at Bergen University College. 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 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.

Books and Proceedings

pnse lmk lmk lmk lmk lmk