Stefan Mohr
Papers
2
Total Citations
129
H-Index
2
About
Stefan Mohr is a pioneering figure at the intersection of minimally invasive gynecologic oncology and formal verification in safety-critical systems. In oncology, Mohr’s landmark 2016 study on laparoscopic indocyanine green (ICG) sentinel lymph node mapping in endometrial cancer (87 citations) revolutionized surgical staging by demonstrating high detection rates and low false-negative rates with a minimally invasive approach, offering a safer alternative to robotic techniques. This work has become a cornerstone for laparoscopic sentinel node protocols worldwide. Simultaneously, Mohr has made foundational contributions to computer science, particularly in guaranteeing functional safety through design for provability and computer-aided verification (2011, 42 citations). This research addresses the critical challenge of ensuring correctness in complex systems, bridging formal methods with practical engineering. Mohr’s dual expertise—advancing both surgical precision and software reliability—showcases a rare interdisciplinary impact. His work continues to influence clinical guidelines and safety-critical system design, making him a key figure in both fields.
Research Focus
Key Achievements
Top Papers
- 1
- 2