Marcus Pirron

Marcus Pirron is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on research in algorithms, programming languages, and cyber-physical systems. His work spans areas such as robotic systems, autonomous driving, and software verification. He actively contributes to interdisciplinary projects combining hardware and software co-design, formal verification techniques, and safety-critical systems.

His research interests include Cyber-Physical Systems, Programming Languages & Verification, Robotics, and Autonomous Driving. Key themes in his publications include the development of testing frameworks for autonomous systems, automated configuration synthesis, and formal methods for robotic interactions.

Marcus' recent work emphasizes Paracosm—a framework for testing autonomous driving simulations—and PGCD—a system for robot programming and verification. His articles often address challenges in concurrency, safety, and the integration of geometry and dynamics in robotic applications.

Despite his prolific output, no specific awards, grants, or student advisement details are explicitly mentioned in the provided materials.