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 robust AI by integrating Formal Methods and Machine Learning, and create AI-powered safe, robust, and reliable Cyber-Physical Systems, especially in the areas of Smart Cities and Healthcare.

My lab has openings for self-driven and passionate Ph.D. students. If you are interested in working with me, please send me your CV and research statement.

---

Recent News:

• [Service] Dec. 2022. I'm serving on the program committees of EMSOFT 2023. Please consider to submit your best work!
• [Students] Nov. 2022. Hanchen (David) Wang and Zirong Chen passed their Ph.D. Preliminary Exams. Congratulations!
• [Publication] Nov. 2022. Our paper "PhysiQ: Off-site Quality Assessment of Exercise in Physical Therapy" has been accepted by ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT).
• [Service] Oct. 2022. I'm serving as the Student Travel Award co-Chair for the Cyber-Physical Systems and Internet-of-Things Week 2023.
• [Award] Sep. 2022. I've received an NSF grant on "CIVIC-PG Track B: Creating an AI-based Community-wide Efficient and Equitable Response System" as a Lead PI.
• [Service] Oct. 2022. I'm serving as the Financial and Local Chair for the IEEE International Conference on Smart Computing (SMARTCOMP) 2023.
• [Award] Sep. 2022. I've received an NSF grant on "FMitF: Track I: Generative Neural Network Verification in Medical Imaging Analysis" as a co-PI.
• [Service] Sep. 2022. I'm serving on the program committees of ICCPS 2023, IoTDI 2023, RTAS 2023 and CHASE 2023. Please consider to submit your best work to these conferences.
• [Students] Aug. 2022. Ziyan An won the Dean's Graduate Fellowship. Congratulations!
• [Publication] June 2022. Our paper "CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities" has been nominated for the best paper award by IEEE International Conference on Smart Computing (SMARTCOMP).
• [Publication] May 2022. Our paper "Designing Decision Support Systems for Emergency Response: Challenges and Opportunities" has been published on the Workshop on Cyber Physical Systems for Emergency Response at CPS-IOT Week 2022.
• [Publication] March 2022. Our paper "Formal methods enhance deep learning for smart cities: challenges and future directions" is published on XRDS: Crossroads, The ACM Magazine for Students.
• [Publication] Feb. 2022. Our paper "Validity and Feasibility of the Monitoring and Modeling Family Eating Dynamics System to Automatically Detect In-field Family Eating Behavior: Observational Study" has been accepted by JMIR mHealth and uHealth.
• [Publication] Dec. 2021. Our invited paper "Challenges and Directions for Ambient Intelligence: A Cyber Physical Systems Perspective" is published on IEEE Third International Conference on Cognitive Machine Intelligence (CogMI).
• [Publication] July 2021. Our paper “Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems ” has been accepted by International Conference on Embedded Software (EMSOFT).
• [Awards] May 2021. Our paper "DeResolver: A Decentralized Negotiation and Conflict Resolution Framework for Smart City Services" won the BEST PAPER AWARD at ICCPS 2021!
• [Publication] May 2021. Our paper “Towards Formal Methods for Smart Cities” has been accepted for publication at the IEEE Computer magazine.
• [Publication] Mar. 2021. Our paper “A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities” has been accepted for publication at the IEEE Internet of Things Journal (impact factor: 11.7).