Welcome to the DCPS Lab
The Dependable Cyber-Physical Systems (DCPS) lab is directed by Prof. Khaza Anuarul Hoque and located in the F. Robert & Patricia Naka Hall building at University of Missouri-Columbia. The research mission of the DCPS Laboratory is to develop theory, methods, and tools to support the design, analysis, and formal verification of safe, secure, trustworthy, and energy-efficient AI and cyber-physical systems by leveraging interdisciplinary techniques from formal methods, cyber security, and machine learning.
To this end, we conduct interdisciplinary research to answer the scientific questions we deem most important, specifically in the following areas (see Research).
- Safe, secure, and energy-efficient edge AI hardware.
- Safe, secure, and private augmented/virtual reality (AR/VR) applications.
- Formal methods in robotics and automation (model checking and runtime monitoring).
We are grateful for funding from National Science Foundation (NSF), United States Army Reserch Laboratory (ARL), and Naval Research Laboratory (NRL).
News
February 2025Prof. Hoque is serving as a Finance Chair for the 43rd IEEE International Conference on Computer Design (ICCD 2025).
January 2025Our paper titled ‘Explainable AI-Guided Efficient Approximate DNN Generation for Multi-Pod Systolic Arrays’ has been accepted for publication in the 26th International Symposium on Quality Electronic Design (ISQED 2025). Congratulations Ayesha!
January 2025Three papers on VR privacy and safety from our group have been accepted for publication in the 32nd IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) conference (core rank A*). Congratulations Ripan!
September 2024Our paper, ‘Efficient SMT-Based Model Checking for HyperTWTL’ has been accepted in the 25th International Conference on Formal Engineering Methods (ICFEM 2024). Congratulations Ernest!
September 2024Prof. Hoque is serving as a Technical Program Committee Co-Chair for the IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS 2025).
