Lars Michael Kristensen

Lars Michael Kristensen is Professor in the Department of Computing, Mathematics, and Physics at Western Norway University of Applied Sciences. He received his Ph.D. from University of Aarhus (2000) and conducts research on formal methods for concurrent systems, particularly Coloured Petri Nets (CPNs) and model checking techniques.

His research focuses on:

• Explicit state space exploration algorithms
• Software verification and testing
• Model-driven engineering
• Industrial applications of formal methods

Kristensen leads projects applying formal methods to industrial automation, IoT protocols, and distributed systems. He co-authored the standard textbook on Coloured Petri Nets and co-develops the CPN Tools software suite. His awards include the Danish Research Councils' Young Researcher Award (2007).