Ewen Denney
Papers
2
Total Citations
8
H-Index
2
About
Ewen Denney is a leading researcher in formal methods, safety-critical systems, and generative programming, with a career dedicated to advancing the assurance of complex aerospace and autonomous technologies. As a senior research scientist at NASA Ames Research Center, Denney has pioneered the development of formal verification techniques for safety-critical software, particularly in the domains of unmanned aircraft systems and autonomous robots. His work on the NASA Formal Methods Symposium (NFM) has helped shape the field by creating a vital forum for addressing assurance challenges in systems where failure is not an option. Denney’s contributions to generative programming and component engineering have further enabled the automated synthesis and verification of reliable software components. While his most-cited papers, including the proceedings of NFM 2009 and GPCE 2011, have garnered modest citation counts (6 and 2, respectively), their true impact lies in their foundational role within NASA’s mission-critical projects. Denney’s research continues to influence the development of separation assurance algorithms and autonomous system verification, making him a key figure in ensuring the safety of next-generation aerospace technologies.
Research Focus
Key Achievements
Top Papers
- 1Proceedings of the First NASA Formal Methods Symposium6 citations · 2009
- 2