Danielle Wallis

Papers

Total Citations

H-Index

About

Danielle Wallis is a leading researcher in formal verification and autonomous robotics, with a focus on building reliable, high-assurance systems for complex, dynamic environments. Her work bridges the gap between theoretical verification methods and practical robotic deployment, addressing the critical challenge of ensuring safety and correctness in autonomous decision-making. Her most-cited paper, "Towards a Verifiable Toolchain for Robotics" (2024, 4 citations), lays the groundwork for a comprehensive, end-to-end verification framework that enables robots to reason about their actions and environments with provable guarantees. This contribution is pivotal for advancing robot autonomy beyond simple, controlled settings into unstructured real-world applications. Wallis’s research integrates formal methods, control theory, and software engineering, aiming to create a verifiable toolchain that can be adopted by the broader robotics community. Her work is gaining recognition for its potential to transform how autonomous systems are designed and certified, making her a rising voice in the pursuit of safe and trustworthy robotics.