Papers
7
Total Citations
491
H-Index
5
About
Nancy G. Leveson is a prominent researcher whose work spans software safety, systems engineering, and the safety implications of robotic surgical systems. She is perhaps best known for her rigorous empirical investigations into adverse events in robot-assisted surgery, most notably her landmark 2016 study analyzing 14 years of FDA data on robotic surgical systems, which has accumulated over 420 citations and stands as a foundational reference in the field of surgical robotics safety. This work, alongside her earlier 2013 study on da Vinci surgical systems, has profoundly shaped how clinicians, engineers, and regulators understand and address failure modes in robotic surgery environments. Beyond surgical safety, Leveson has made meaningful contributions to software engineering methodology, particularly through her development of intent specifications — a hierarchical approach to structuring software requirements that supports traceability, design rationale, and system evolution. Her work on semantic coupling and decoupling has offered practical strategies for reducing the costly impact of requirements changes during complex software development projects. Spanning nearly two decades of published research, Leveson's contributions bridge theoretical software design and real-world safety-critical systems, making her work essential reading for researchers and practitioners working at the intersection of software engineering, systems safety, and medical robotics.
Research Focus
Key Achievements
Top Papers
- 1Adverse Events in Robotic Surgery: A Retrospective Study of 14 Years of FDA Data424 citations · 2016
- 2Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems36 citations · 2015
- 3Reducing the Effects of Requirements Changes through System Design11 citations · 2001
- 4Semantic decoupling: reducing the impact of requirement changes9 citations · 2010
- 5An intent-specifications model for a robotic software control system5 citations · 2002
- 6
- 7A CAD Environment for Safety-Critical Software2 citations · 1999