Lars Michael Kristensen, Professor, PhD
Director of DISTECH
Department of Computer Engineering
Faculty of Engineering
Bergen University College
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

• Curriculum Vitea
• Portfolio of Teaching Experience
• List of Publications

Current Teaching Activities

• Information Technology 2: Systems Design (UML) and IT development (Spring 2010, 2011)
• Advanced Software Technologies (Fall 2009, 2010, 2011)
• Modelling and Validation of Concurrent Software Systems (Spring 2012)

Research and Development Activities

My research interests are in the areas of concurrent software systems engineering, Ad Hoc Networking, Sensor Networks, Formal Methods, State Space Methods and Model Checking, Coloured Petri Nets, Computer Tools for Validation and Verification, Model-driven software engineering.

• DISTECH: Software Technologies for Distributed Systems. Strategic research initiative at Bergen University College.
• FormGrid: Formal Verification of Grid Systems.
• CPN Book : Textbook on Coloured Petri Nets.
• PN'11 (PC co-chair), IEEE MASS'11 (PC member), PNSE'11 (PC member), PN'12 (PC member), SeNAmI'12 (PC member).
• Guest editor on speciel issue of the Fundamenta Informaticae journal based on Petri Nets 2011 (with Laure Petrucci and Wojciech Penczek )
• Guest editor on special volume of the LNCS Transaction on Petri Nets and Other Models of Concurrency on Protocols, Networks, and Services (with Marco G. Ajmone Marsan and Giuliana A. Franceschinis)

Books