Marcus Pirron

Max Planck Institute for Software Systems, Max Planck Society

Papers

Total Citations

H-Index

About

Marcus Pirron’s research lies at the critical intersection of programming languages, concurrency theory, and robotics. His work addresses a fundamental challenge: how to program robotic systems that must simultaneously manage physical dynamics, geometric constraints, and real-time synchronization—all currently handled in low-level imperative code. Pirron’s most influential contribution is the development of **PGCD** (2019, 7 citations), a novel programming model that abstracts away the complexity of dynamic controllers and concurrent motion primitives, allowing developers to reason about robotic behavior at a higher level. He further advanced this paradigm with **Motion Session Types for Robotic Interactions** (2019, 6 citations), a brave new idea that brings session type theory—traditionally used for communication protocols—into the physical world. This work enables static verification of concurrent robotic interactions, ensuring that motion commands and message passing are correctly synchronized before runtime. While still early in his career, Pirron’s foundational contributions are shaping how we think about safe, verifiable programming for autonomous systems. His research promises to make robotics programming more accessible and reliable, directly impacting fields from industrial automation to autonomous vehicles.