Muhammad Usama Sardar

National University of Sciences and Technology

Papers

Total Citations

H-Index

About

Muhammad Usama Sardar is a researcher whose work sits at the intersection of formal methods, probabilistic modeling, and biomedical micro-robotics. His key research areas include formal verification, cyber-physical systems, and the application of probabilistic modeling to safety-critical biological processes. Sardar’s major contribution lies in pioneering the use of formal, probabilistic frameworks to model and analyze robotic cell injection systems—a technique essential for procedures like gene injection and in-vitro fertilization (IVF). His most-cited paper, "Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems" (2017, 10 citations), introduces a rigorous approach to quantifying uncertainties in micro-manipulation, enhancing the reliability and safety of automated biological interventions. This work bridges the gap between theoretical computer science and practical biomedical engineering, offering a foundation for verifying system behavior under stochastic conditions. Though his citation count is modest, Sardar’s research is notable for its innovative fusion of formal verification with real-world medical applications, positioning him as a forward-thinking contributor to the emerging field of trustworthy cyber-physical systems in healthcare. His efforts highlight the growing importance of mathematical rigor in ensuring the safety of automated biomedical procedures.