About me
I am an Assistant Professor in the Department of Electrical & Computer Engineering at Baylor University, Waco, Texas. I direct the Secured and Dependable Intelligent Systems (SeDIS) Laboratory. Before joining Baylor University, I was a member of the Dependable Cyber-Physical Systems (DCPS) Laboratory at the University of Missouri-Columbia, under the supervision of Prof. Khaza Anuarul Hoque. Prior to joining the DCPS Lab, I worked as a Research Assistant in the Distributed Computing Laboratory at the Jiangsu University, Zhenjiang, Jiangsu Proviince, P.R. China under the supervision of Prof. Ju Shiguang.
Click around to learn more about my research interests, read some of my publications, or vacancies in my research lab.
Research Interests
My research goal is to investigate and develop various theories, methods and tools to guarantee safety, security and quality of service in complex cyber-physical systems (CPS) and IoT devices by leveraging techniques from formal methods, blockchain, cyber security, and machine learning.
Research Areas: Formal Verification & Cyber-Physical Systems, Explainable AI for Robotic/Autonomous systems Failures, Security of Internet of Autonomous Things (IoAT) and Edge/Network
Application Domains: Robotics/Autonomous systems, Edge Computing Paradigms, Safety-Critical Health Applications
Education