Max Robotics — Global Service Robot Directory + US Certification

About

Bud Mishra is a versatile computer scientist and mathematician whose research spans genomics, robotics, manufacturing automation, and computational biology. He is perhaps best known for his pioneering work in optical DNA mapping, with his 1998 paper on automated high-resolution optical mapping — garnering 276 citations — introducing a transformative technique that uses fluorescence microscopy to construct ordered restriction maps from individual DNA molecules, fundamentally advancing genomic analysis methods. Beyond genomics, Mishra has made significant contributions to robotics and manufacturing systems. His work on synthesizing locomotion controllers using discrete event models combined with temporal logic (2002) demonstrated innovative approaches to automating complex hybrid systems. His research on reactive grasping and optimal planar grasping algorithms showcased rigorous algorithmic thinking applied to robotic manipulation, while his workholding and fixturing planning work addressed practical challenges in computer-assisted manufacturing. Mishra has also explored computational biology through algebraic model checking, seeking formal verification methods to reason about biochemical systems — a bold interdisciplinary ambition. His editorial contributions to the *Algorithmic Foundations of Robotics* series further reflect his influence in shaping the field. Across disciplines, Mishra exemplifies the rare researcher who bridges mathematical theory with real-world engineering applications.