lmk Prof

Lars Michael Kristensen

Department of Computing, Mathematics, and Physics

Office: E503

E-mail: lmkr@hvl.no

Website: http://home.hib.no/ansatte/lmkr/

Phone: 55587164

Mobile: 93866491

Research field: Software engineering

Publications: Publications in Cristin

About

The research of Kristensen focus on formal modelling languages, techniques, and technologies that can be used for the engineering of reliable concurrent software systems. The research focusses on the Coloured Petri Nets (CPN) modelling language, CPN Tools, and model checking techniques for software testing and verification. The research include development, implementation, and experimental evaluation of efficient algorithms and data-structures for explicit state space exploration, and case studies on practical applications of modelling, simulation, and state space exploration in domains such as protocol software and automation systems.

See personal homepage