Prof. Dr. Lars Michael Kristensen

Western Norway University of Applied Sciences, Bergen

Wissenschaftlicher Lebenslauf:

Lars M. Kristensen promovierte in Informatik an der Universität Aarhus (2000) und ist derzeit Professor für Informatik und Softwaretechnik an der Westnorwegischen Hochschule für angewandte Wissenschaften (HVL) (seit 2009). Nach Abschluss seiner Promotion arbeitete er als Postdoktorand (2000-2002) im Bereich Computersystemtechnik an der University of South Australia und der Australian Defence Science and Technology Organisation und konzentrierte sich dabei auf Software-Tools für die militärische Planung und die Entwicklung von Echtzeit-Avionik-Missionssystemen. Im Anschluss an die Postdoc-Forschungsstelle erhielt er eine Festanstellung an der Universität Aarhus zunächst als Assistenzprofessor (2002-2005) und anschließend als außerordentlicher Professor (2005-2009) und war an einer Reihe von industriegestützten Forschungsprojekten zur Modellierung und Validierung von Internetprotokollen, mobilen Ad-hoc-Netzen und Sensornetzen beteiligt. Im Jahr 2007 erhielt er den Young Researcher's Award des dänischen Forschungsrats und 2012 den Forschungs- und Entwicklungspreis des Bergen University College. Er war Direktor des Forschungsprogramms für IKT-Technik an der Fachhochschule West-Norwegen (2010-2016), die zur Einrichtung der Doktorandenausbildung in Informatik führte, die Software Engineering, Sensornetzwerke und Engineering Computing umfasst. Derzeit ist er Vorsitzender des Ausschusses für das Doktorandenprogramm an der HVL.

Forschungsschwerpunkte: 

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.