Max Robotics — Global Service Robot Directory + US Certification

About

John Peterson is a computer scientist whose career spans the elegant intersection of functional programming and robotics. Best known for pioneering the application of Haskell and domain-specific languages to robot control, Peterson has helped reshape how researchers think about writing reliable, expressive software for autonomous systems. His foundational work on Frob (Functional Robotics), introduced through a series of highly influential papers beginning in 1998, demonstrated that functional programming paradigms — particularly the clean separation of declarative intent from implementation — could dramatically simplify robot software development. His 2003 paper "Arrows, Robots, and Functional Reactive Programming" stands as his most-cited contribution (184 citations), cementing the theoretical underpinnings of composable, reactive robot controllers using the arrow abstraction in Haskell. Across nearly three decades of research, Peterson has expanded his scope from programming language theory into physical humanoid robotics, contributing to Virginia Tech's ESCHER biped developed for the DARPA Robotics Challenge, and most recently exploring multi-robot architectures for human-AI teaming. With over 400 cumulative citations, his work occupies a distinctive niche, bridging elegant programming language design with the demanding realities of embodied robotic systems.