Jan Martijn E. M. van der Werf

Eindhoven University of Technology, Utrecht University

Papers

Total Citations

H-Index

About

Jan Martijn E. M. van der Werf is a leading researcher in business process management (BPM), process mining, and the formal foundations of service-oriented and robotic process automation (RPA). His work bridges theoretical computer science and practical enterprise systems, with a focus on ensuring correctness, termination, and reliability in complex process environments. He is best known for his pioneering contributions to the design of weakly terminating robotic operating systems (ROS), a critical area for safe and predictable automation in cyber-physical systems. His most cited paper, "Designing Weakly Terminating ROS Systems" (2012, 11 citations), provides formal methods for verifying that robotic processes will eventually halt correctly, a foundational result for dependable automation. More recently, he has explored the intersection of BPM with blockchain and RPA, co-editing the 2023 volume "Business Process Management: Blockchain, Robotic Process Automation and Educators Forum." His work has been widely cited in process mining, formal verification, and service computing communities, and he is recognized for advancing both the theory and practice of process-aware information systems.