Brian Kempa

Papers

Total Citations

H-Index

About

Brian Kempa is a leading researcher in the intersection of runtime verification, fault-tolerant systems, and space robotics. His work focuses on embedding real-time monitoring and diagnostic tools directly into robotic platforms to ensure safe, autonomous operation in critical environments. Kempa’s most notable contribution is the development of an online runtime verification framework that enables fault disambiguation on NASA’s Robonaut2, a humanoid robot designed for International Space Station tasks. This work, published in 2020 and garnering 32 citations, demonstrates how lightweight, embedded monitors can distinguish between sensor noise, hardware degradation, and genuine software faults without compromising system performance. By integrating formal verification methods into deployed robotic systems, Kempa has advanced the reliability of autonomous agents in space and hazardous terrestrial settings. His research provides a practical bridge between formal methods and real-world robotics, offering engineers actionable tools for building resilient systems. Kempa’s contributions are particularly influential in the growing field of cyber-physical systems, where his approach to online verification sets a benchmark for safety-critical applications.