Kurt Jensen

Kurt Jensen is a Professor at the Department of Computer Science, Aarhus University, Denmark. His academic career spans decades, focusing on formal modeling, concurrency, and software specification techniques.

• Research interests: Coloured Petri Nets, modeling and validation of distributed systems, simulation tools, and formal methods.
• Affiliation: Aarhus University, Department of Computer Science (School of Engineering not explicitly mentioned).

His publications, including the seminal book series Coloured Petri Nets, emphasize theoretical computer science and practical applications in concurrent systems. Key contributions include the Invariant Method for Petri Net analysis and tools for system validation.