Louis C.M. van Gool

Louis C.M. van Gool is a Researcher at the Department of Mathematics and Computer Science at Eindhoven University of Technology. His work focuses on Formal Verification, Model Checking, and Concurrency Theory, particularly in industrial software contexts.

• Active in Formal Methods for industrial critical systems
• Contributions to Communication Models and Simulation Relations
• Specializes in Component-Based Software Verification

Recent research examines formal verification of industrial domain-specific languages, with a focus on SMMT and OIL case studies. His work bridges theoretical rigor with practical applications, particularly in deadlock freedom and property preservation across system changes.

Publications from 2020–2025 demonstrate expertise in mCRL2 framework applications for verifying industrial systems, including OIL component specifications and language engineering.