Max Robotics — Global Service Robot Directory + US Certification

About

Adnan Rashid is a researcher at the forefront of formal verification for safety-critical cyber-physical and biomedical systems. His work centers on applying higher-order-logic theorem proving to rigorously analyze continuous dynamics that traditional simulation-based methods cannot fully guarantee. A key contribution is the formal verification of robotic cell injection systems—a technique vital for drug development, gene injection, and in-vitro fertilization. Rashid has modeled and verified these systems up to 4-DOF using the HOL Light theorem prover, ensuring their stability and reliability. He has also formalized bond graphs and biological circuit block diagrams to analyze control systems in physical human-robot interaction (pHRI). His most cited work, "Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving" (2020, 9 citations), demonstrates the power of deductive reasoning for CPS. By replacing approximate analysis with mathematically precise proofs, Rashid provides a foundation for certifying the correctness of life-critical autonomous systems, making his research essential for engineers and scientists building trustworthy robotic and biomedical technologies.