Max Robotics — Global Service Robot Directory + US Certification

About

Osman Hasan is a distinguished researcher whose work spans formal verification, surgical robotics, cyber-physical systems, and artificial intelligence. He has made significant contributions to the rigorous mathematical analysis of complex engineering systems, pioneering the use of theorem proving — particularly HOL Light — to formally verify the behavior of robotic and fractional-order systems, ensuring their correctness and safety in critical applications. Hasan's most-cited work (106 citations) addresses continual learning frameworks for autonomous systems, reflecting his growing engagement with AI reliability challenges. His extensive contributions to surgical robotics are equally notable: he co-developed Al-Zahrawi, a telesurgical robotic system for minimally invasive surgery (31 citations), and later advanced the field with SecureSurgiNET (29 citations), a pioneering security framework for telesurgery operating over public networks. His formal kinematic analyses of robotic manipulators and probabilistic modeling of cell injection systems further demonstrate his commitment to verifiable, trustworthy automation in biomedical contexts. With research bridging theoretical foundations and real-world safety-critical deployment, Hasan's interdisciplinary portfolio — spanning photonics, cyber-physical systems, and intelligent robotics — positions him as a vital voice in building mathematically rigorous, secure, and dependable autonomous technologies.