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

  • Ph.D. Electrical and Computer Engineering, University of Missouri-Columbia, MO, USA
  • MSc. Computer Science, University of Missouri-Columbia, MO, USA
  • MSc. Telecommunication Engineering, Kwame Nkrumah University of Science and Technology, Ghana
  • BSc. Computer Engineering, Kwame Nkrumah University of Science and Technology, Ghana

  • News


    August '24
    The Secured and Dependable Cyber-Physical Systems (SeDIS) Lab in the Department of Electrical and Computer Engineering at Baylor University has openings for two fully funded Ph.D. positions for Spring 2025.

    September '24
    Our paper ‘Efficient SMT-Based Model Checking for HyperTWTL’ has been accepted for the 25th International Conference on Formal Engineering Methods (ICFEM 2024) to be held in Hiroshima, Japan.