Max Robotics — Global Service Robot Directory + US Certification

About

Jan Vermaelen is a rising researcher in the field of safe and robust autonomous robotics, with a focused expertise in formal methods for robot behavior planning. His primary contributions lie in developing and validating constraint-based planning approaches that prioritize safety and reliability in human-robot interaction and other safety-critical applications. Vermaelen is the principal architect of the **Tumato 2.0** framework, a novel constraint-based planning system that formalizes safety requirements to ensure predictable and robust robot behavior. His work systematically addresses the critical gap between ad hoc implementations and rigorous formal verification, demonstrating through empirical evaluation that formal approaches like Tumato significantly outperform less structured methods. While his most-cited papers (from 2024, with 2–3 citations each) are early in their lifecycle, they represent foundational work in a rapidly growing field. Notably, his research on formalizing the Systems-Theoretic Process Analysis (STPA) methodology within Tumato offers a groundbreaking pathway for embedding safety engineering directly into robot behavior planning. As autonomous systems become more prevalent, Vermaelen’s contributions are poised to become essential references for engineers and researchers striving to build trustworthy, safe robots.