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: System development (UML) and society (Spring 2010)
• Advanced Software Technologies (Fall 2009, 2010)
• Model-based software engineering (Spring 2011)

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.

• DISTECH: Software Technologies for Distributed Systems. Strategic research initiative at Bergen University College.
• ASCoVeCo : Advanced State Space Methods and Computer Tools for Validation of Communication Protocols.
• CPN Book : New textbook on Coloured Petri Nets.
• PN'10 (PC member and invited speaker) PN'11 (PC co-chair), LOCAN'2010 (PC member), SeNAMI 2010 (PC member), PNSE 2010 (PC member).
• 5th Advanced Course on Petri Nets (invited lecturer)

Books