Jan Friso Groote

Papers

Total Citations

H-Index

About

Jan Friso Groote is a leading figure in formal verification and process algebra, with a career dedicated to mathematically rigorous methods for analyzing complex systems. His research centers on developing and applying formal techniques—such as the mCRL2 toolset—to model, simulate, and verify the correctness of concurrent and distributed systems, from software protocols to robotic path planning. A major contribution is his work on the formal verification of path planning algorithms for multi-robot systems, where he demonstrates how mathematical modeling can expose design faults that traditional testing might miss. His most-cited paper, "Analysis of Path Planning Algorithms: a Formal Verification-based Approach" (2013), has garnered over 14 citations, reflecting its influence in bridging robotics and formal methods. Beyond this, Groote has authored seminal texts on process algebra and contributed to the verification of industrial-scale systems, including railway interlockings and embedded controllers. His work has earned him recognition as a pioneer in making formal verification practical for real-world engineering, inspiring students and researchers to adopt rigorous, provably correct approaches in system design.