Mohammed Naveed Akram
Papers
1
Total Citations
15
H-Index
1
About
Mohammed Naveed Akram is a leading researcher in the safety, reliability, and real-time evaluation of autonomous unmanned aerial vehicles (UAVs). His work centers on developing formal methods and digital twin frameworks to ensure the dependable operation of drones in complex, safety-critical environments. Akram’s most notable contribution is the "SafeDrones" project, which introduced the concept of Executable Digital Dependable Identities (EDDIs) for real-time reliability assessment. This pioneering approach, published in 2022 and garnering 15 citations, enables continuous monitoring and dynamic verification of UAV health, bridging the gap between design-time assurance and runtime adaptation. By integrating model-based systems engineering with runtime verification, Akram has provided a scalable solution for certifying autonomous drone operations, directly impacting fields like aerial delivery, infrastructure inspection, and emergency response. His work is recognized for its practical relevance, offering a pathway to safer integration of UAVs into shared airspace. Akram’s research continues to shape the future of trustworthy autonomous systems, making him a key voice in the intersection of formal verification and robotics.
Research Focus
Key Achievements
Top Papers
- 1