Dr. Mohammed Saad Assiri is an Associate Professor of Software Engineering at Prince Sattam bin Abdulaziz University, and a researcher who brings together the rigor of formal methods and the reach of applied artificial intelligence. He earned his Master of Applied Science and Ph.D. in Software Engineering from McMaster University, Canada, specializing in the formal mathematical modeling and verification of critical systems. His master's thesis modeled elevator systems as concurrent systems, and his doctoral thesis addressed the timed modeling of cardiac pacemakers.
His research extends to artificial intelligence, deep learning, metaheuristic optimization, cybersecurity, and the Internet of Things, applied to medical diagnosis, network security, and intelligent systems, with particular attention to serving people with disabilities. His two research tracks converge in AI-driven software quality and security, combining the precision of mathematical verification with the capabilities of machine learning to build safer and more reliable software.
His work appears in peer-reviewed international journals, mostly indexed in the Web of Science and widely cited, and he has authored scholarly books and received funded research grants. He reviews for numerous international journals and has completed a full Arabic trans
Dr. Mohammed Saad Assiri is an Associate Professor of Software Engineering at Prince Sattam bin Abdulaziz University, and a researcher who brings together the rigor of formal methods and the reach of applied artificial intelligence. He earned his Master of Applied Science and Ph.D. in Software Engineering from McMaster University, Canada, specializing in the formal mathematical modeling and verification of critical systems. His master's thesis modeled elevator systems as concurrent systems, and his doctoral thesis addressed the timed modeling of cardiac pacemakers.
His research extends to artificial intelligence, deep learning, metaheuristic optimization, cybersecurity, and the Internet of Things, applied to medical diagnosis, network security, and intelligent systems, with particular attention to serving people with disabilities. His two research tracks converge in AI-driven software quality and security, combining the precision of mathematical verification with the capabilities of machine learning to build safer and more reliable software.
His work appears in peer-reviewed international journals, mostly indexed in the Web of Science and widely cited, and he has authored scholarly books and received funded research grants. He reviews for numerous international journals and has completed a full Arabic trans