Prof. Dr. Lars Michael Kristensen

Western Norway University of Applied Sciences, Bergen

Scientific CV:

Lars M. Kristensen received his PhD in Computer Science from Aarhus University (2000) and is currently Professor of Computer Science and Software Engineering at the Western Norwegian University of Applied Sciences (HVL) (since 2009). After completing his PhD, he worked as a postdoctoral researcher (2000-2002) in computer systems engineering at the University of South Australia and the Australian Defence Science and Technology Organisation, focusing on software tools for military planning and real-time avionics mission systems development. Following the postdoctoral research position, he obtained a tenured position at Aarhus University first as Assistant Professor (2002-2005) and then as Associate Professor (2005-2009) and was involved in a number of industry-based research projects on modelling and validation of Internet protocols, mobile ad hoc networks and sensor networks. In 2007 he received the Young Researcher's Award from the Danish Research Council and in 2012 the Research and Development Award from Bergen University College. He was director of the ICT Engineering Research Programme at the University of Applied Sciences Western Norway (2010-2016), which led to the establishment of PhD education in computer science, covering software engineering, sensor networks and engineering computing. He is currently chair of the PhD programme committee at HVL.

Research focus:

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.