Rose Bohrer
Papers
2
Total Citations
70
H-Index
2
About
Rose Bohrer is a leading researcher in formal verification and cyber-physical systems (CPS), with a focus on ensuring safety-critical systems behave correctly from high-level models down to executable code. Her major contribution is the development of VeriPhy, a groundbreaking verified pipeline that automatically transforms verified CPS models written in differential dynamic logic (dL) into verified controller executables. This work bridges the abstraction gap between mathematical proofs and real-world implementations, proving that all safety properties are preserved end-to-end. The flagship VeriPhy paper has garnered 59 citations, with a companion version adding 11 more, underscoring its influence in the formal methods community. Bohrer’s research addresses a critical challenge: making safety guarantees for systems like autonomous vehicles and medical devices truly trustworthy. By integrating theorem proving with code generation, she has advanced the practical deployment of verified CPS. Her work is notable for its rigor and applicability, making her a key figure in the push toward provably safe autonomous systems. For students and researchers, Bohrer exemplifies how formal methods can bridge theory and practice in high-stakes engineering.
Research Focus
Key Achievements
Top Papers
- 1
- 2