Benjamin Choi

Carnegie Mellon University, University of the Potomac

Papers

Total Citations

H-Index

About

Benjamin Choi is a leading researcher in robotics and human-robot interaction, with a focus on real-time perception, multi-agent coordination, and formal verification for safety-critical systems. His early work on fast human detection using depth images (45 citations) addressed key challenges in mobile robotics—occlusions, dynamic backgrounds, and limited onboard computation—enabling efficient human tracking for indoor robots. Choi also made significant contributions to multi-robot teamwork, as demonstrated by his work on opponent-driven planning for RoboCup’s Small Size League. His team, CMDragons, achieved second place out of twenty teams at the 2013 competition, showcasing advanced strategies for pass, attack, and defense. More recently, Choi has advanced formal verification for human-robot interaction in medical environments (11 citations), using linear temporal logic to ensure algorithmically sound and safe robot behavior in complex, high-stakes settings. His research bridges perception, decision-making, and safety assurance, with a clear impact on both competitive robotics and real-world applications.