Olatunde Sanni

Papers

Total Citations

H-Index

About

Olatunde Sanni is a rising researcher in aviation safety and autonomous systems, with a focus on enabling provably safe operations for emerging air mobility technologies. His work centers on the intersection of formal methods, common-sense reasoning, and system reliability—critical for integrating unmanned aircraft systems (UAS) into complex urban environments. Sanni’s most cited paper, “Ariadne: A common-sense thread for enabling provable safety in air mobility systems with unreliable components” (2022, 13 citations), introduces a novel framework that threads common-sense reasoning through safety-critical systems, allowing them to maintain verifiable safety guarantees even when individual components fail. This work addresses a fundamental challenge in certifying autonomous aerial vehicles for commercial use. In his earlier study, “An Assessment of Unmanned Aircraft System Operations with the Extensible Trajectory Optimization Library” (2021, 2 citations), Sanni evaluated trajectory optimization tools for UAS, laying groundwork for efficient and safe flight planning in dense airspace. His contributions are particularly relevant as the industry moves toward urban air mobility, package delivery, and beyond-visual-line-of-sight operations. Sanni’s research offers a practical pathway to bridge the gap between theoretical safety proofs and real-world system imperfections, making him a notable voice in next-generation aviation safety.