lmk

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

Current Teaching Activities

Research and Development Activities

My research interests are in the areas of Communication Protocols and Protocol Engineering, Concurrent and Distributed Systems, Ad Hoc Networking, Sensor Networks, Formal Methods, State Space Methods and Model Checking, Coloured Petri Nets, Computer Tools for Validation and Verification.

Books

lmk lmk