I am an Assistant Professor in the Department of Computer Science and the Institute for Software Integrated Systems at Vanderbilt University. I received my Ph.D. under Professor John A. Stankovic and Professor Lu Feng from the University of Virginia. My research is at the intersection of Machine learning, Formal Methods, and Cyber-Physical Systems. Specifically, I develop rigorous and explainable AI by integrating Formal Methods with Machine Learning, aiming to create AI-powered safe, reliable and trustworhty societal-scale integrated Cyber-Physical Systems, especially in the areas of Emergency Response, Public Safety, Smart Cities and Healthcare.
I have been fortunate to receive several awards in the past, including NSF CAREER Award, Google Academic Research Award, Best Paper Award and Best Artifact Award in ACM ICCPS, Rising Stars in EECS, VUSE Community Impact Research Award, among others.

---

Recent Activities:

• [More Fun Activities from Our Lab ... ]

---

Recent News:

• [Publication] Nov. 2025. Our paper "Learning with Preserving for Continual Multitask Learning" has been accepted for publication at Proceedings of the AAAI Conference on Artificial Intelligence (AAAI 2026).
• [Service] Dec. 2025. I am serving on the Senior Technical Program Committee of IJCAI 2026.
• [Award] Dec. 2025. I've received Metro Nashville Water Service support on "Early Warning Detection for Water Management Systems" as the PI.
• [Award] Nov. 2025. I've received Provost's Faculty Grants for Immersion Vanderbilt.
• [Publication] Oct. 2025. Our paper "Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications" has been published at 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2025).
• [Service] Oct.2025. I am serving as the Director of Outreach, ACM SIGBED.
• [Award] Sep. 2025. I received Google Academic Research Award.
• [Publication] Sep. 2025. Our paper "ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis" has been published at the International Conference on Runtime Verification (RV).
• [Award] Sep. 2025. I've received an NSF grant on "CIVIC-FA Track B: Data-Driven Monitoring and Optimizing of Right-of-Way Permits" as the PI at Vanderbilt.
• [Award] Jun. 2025. Our paper "Trigger-Finder: A Real-Time Freezing-of-Gait Trigger Detection System Using an Instruction-Tuned Multimodal Large Language Model" received the Best Paper Award at the ACM/IEEE Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE 2025).
• [Award] May 2025. I've received Vanderbilt Innovation Catalyst Fund as the lead PI.
• [Award] May 2025. Our paper received Outstanding Paper Award from the Institute for Software Integrated Systems, Vanderbilt University.
• [Award] May 2025. Our work received Best Artifact Award at the International Conference on Cyber-Physical Systems (ICCPS 2025).
• [Media] May 2025. We organized the first hackathon under our new Connected Computing College: Global Good Hackathon.
• [Publication] May. 2025. Our papers "Uncertainty Quantification for Physics-Informed Traffic Graph Networks" and "EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy" have been published at CPS-IoT Week 2025.
• [Publication] Apr. 2025. Our papers "Sim911: Towards Effective and Equitable 9-1-1 Dispatcher Training with an LLM-Enabled Simulation" and "Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction" have been published at AAAI 2025.
• [Award] Mar. 2025. I've received an NSF CAREER award on "Explainability for Integrated Cyber-Physical Systems" as the PI.
• [Service] Mar. 2025. I am serving on the Senior Technical Program Committee of AAAI 2026.
• [Service] Mar.2025. I am serving as the Program Chair, CPS Rising Star Workshop.
• [Service] Mar. 2025. I am serving as the Publication Chair, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
• [Service] Mar. 2025. I am serving as the Travel Grant co-Chair, CPS-IoT Week.
• [More News ... ]