Grant Olney Passmore
Papers
1
Total Citations
3
H-Index
1
About
Grant Olney Passmore is a leading researcher in automated reasoning, formal verification, and the engineering of safe cyber-physical systems. His work bridges the gap between theoretical logic and practical software engineering, with a particular focus on hybrid systems—those combining discrete computational steps with continuous physical dynamics. Passmore is best known for pioneering a collaborative, verification-driven approach to system design, as outlined in his influential 2013 paper "A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems." This work advocates for integrating formal proof techniques directly into the model-driven development process, enabling engineers to mathematically guarantee safety properties before deployment. His contributions have shaped how researchers think about ensuring the correctness of autonomous vehicles, medical devices, and other safety-critical systems. While his most cited paper has garnered 3 citations, Passmore’s broader impact is evident through his leadership in developing the Imandra automated reasoning platform, which applies these principles at industrial scale. He is also a co-founder of Aesthetic Integration, a company commercializing formal verification for financial algorithms, demonstrating the real-world relevance of his research.
Research Focus
Key Achievements
Top Papers
- 1