
		Lars Michael Kristensen, Professor, PhD Director of DISTECH Department of Computing, Mathematics, and Physics Faculty of Engineering Bergen University College of Applied Sciences Nygaardsgaten 112, Postbox 7030, 5020 Bergen, Norway Office: A624 Tel: +47 55 58 71 64 (direct) Email: lmkr [at] hib.no Web: www.hib.no/ansatte/lmkr

General Information

Recent Teaching Activities

Information Technology 2: Systems Design (UML) and IT development (B.sc course, 2010, 2011)
Advanced Software Technologies (M.sc course, 2009, 2010, 2011, 2012, 2013)
Software Modelling and Verification (M.sc course, 2012)
Model-driven software engineering (M.sc course, 2013)

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.

DISTECH: Software Technologies for Distributed Systems. Strategic research initiative at Bergen University College.
Coloured Petri Nets and applications of CPN Tools
SIMSubsea - Development of a game-based learning application for the subsea industry.
FormGrid - Formal Verification of Grid Systems.
PNADESC'14 (PC member), FSFMA'2013 (PC member), PNSE'13 (PC member), SeNAmI'13 (PC member), NWPT'12 (co-organiser), PN'12 (PC member), MASS'12 (PC member)
Member of the steering committee for the International Conference on Application and Theory of Petri Nets and Concurrency (since 2013)

I received the Research and Development Prize of Bergen University College in 2012.

Books and Proceedings