News Archive:

• [Award] Oct. 2024. I've received Google Academic Research Award.
• [Media] Oct. 2024. Nashville Government has a media release on our NSF grant.
• [Award] Sep. 2024. I've received an NSF grant on "ReDDDoT Phase 1: Planning Grant: Towards Responsible Design, Development, and Deployment of a GenAI-enabled System for Dispatcher Training in Emergency Response" as the lead PI. It is a collaboration with Metro Nashville Government Department of Emergency Communication.
• [Award] Sep. 2024. I've received an IES grant on "GenAI Empowered National Initiative for Upholding STEM+C Education (Genius)" as a co-PI.
• [Award] Sep. 2024. I've received a TNGO grant on "AI driven route generation and alert notification system for school districts " as a co-PI.
• [Award] Aug. 2024. I've received an NSF grant on "CIVIC-PG Track B: Data-Driven Monitoring and Optimizing of Right-of-Way Permits " as a co-PI.
• [Publication] Jul. 2024. Our paper "Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic" has been accepted for publication at Proceedings of the 27th European Conference on Artificial Intelligence (ECAI).
• [Award] Jul. 2024. Our project received API Credits from OpenAI’s Researcher Access Program.
• [Award] Jul. 2024. I've received an NSF grant on "MOMENTS: An event-based system to support self- regulation during simulation learning" as a co-PI.
• [Award] Jun. 2024. I've received the Best Service Award from the IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE).
• [Publication] Jun. 2024. Our paper "Timeliness Matters: Leveraging Reinforcement Learning on Social Media Data to Prioritize High-Risk Conversations for Promoting Youth Online Safety" has been accepted for publication at International AAAI Conference on Web and Social Media (ICWSM 2025).
• [Publication] Jun. 2024, Our paper "Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode" has been accepted for publication at The IEEE Intelligent Transportation Systems Society Conference (ITSC).
• [Award] Jun. 2024. I've received the VUSE Community Impact Research Award.
• [Service] May. 2024. I am serving as the Diversity, Equity and Inclusion Director of ACM SIGBED.
• [Service] May. 2024. I am serving as the Associated Editor for ACM Transactions on Computing for Healthcare.
• [Award] May. 2024. I've received Vanderbilt University Community Collaboration Fund.
• [Award] Apr. 2024. I've received Vanderbilt University Generative AI Seed Grant.
• [Publication] Jan. 2024. Our paper "MicroXercise: A Micro-Level Comparative and Explainable System for Remote Physical Therapy" has been accepted for publication at The IEEE/ACM international conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE).
• [Publication] Jan. 2024. Our paper "Formal Logic Enabled Personalized Federated Learning through Property Inference" has been accepted for publication at Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) as an oral presentation.
• [Publication] Jan. 2024. Our paper "Auto311: A Confidence-Guided Automated System for Non-emergency Calls" has been accepted for publication at Proceedings of the AAAI Conference on Artificial Intelligence (AAAI).
• [Talks] May. 2023. I gave a keynote talk on Towards verified AI for Smart Cities at EMERGE.
• [Publication] Jun. 2023. Our paper "Runtime monitoring of accidents in driving recordings with multi-type logic in empirical models" has been accepted for publication at International Conference on Runtime Verification (RV).
• [Publication] Mar. 2023. Our paper " CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization" has been accepted for publication at Pervasive and Mobile Computing .
• [Publication] Feb. 2023. Our paper "Towards understanding and enhancing robustness of deep learning models against malicious unlearning attacks" has been accepted for publication at Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (SIGKDD).
• [Publication]Feb. 2023. Our paper "Fairguard: Harness Logic-based Fairness Rules in Smart Cities" has been accepted for publication at IEEE/ACM International Conference on Internet-of-Things Design and Implementation (IoTDI) 2023.
• [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).
• [Publication] Our paper "ViFin: Harness Passive Vibration to Continuous Micro Finger Writing with a Commodity Smartwatch" is accepted by IMWUT/Ubicomp 2021.
• [Awards] Dec. 2020. I am selected as one of the Rising Stars in Data Science to participant and give a lightning talk at the CDAC Rising Stars in Data Science workshop at the University of Chicago.
• [Event] I am serveing as the Web and Publicity Chair of 6th Workshop on the Monitoring and Testing of Cyber-Physical Systems (MT-CPS). Please consider submitting your papers.
• [News] Nov. 24th, 2020. I am so grateful to be featured on both the UVA Engineering and UVA CS homepages!
• [Awards] I am selected as one of the Rising Stars in EECS at UC Berkeley, 2020 .
• [Publication] Our paper "DeResolver: A Decentralized Negotiation and Conflict Resolution Framework for Smart City Services" is accepted by ICCPS 2021!
• [Publication] Our paper "STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks" is accepted by NeurIPS 2020!
• [Publication] Our paper "Poster Abstract: Predictive Monitoring with Uncertainty for Deep Learning Enabled Smart Cities" is accpeted by Sensys 2020!
• [Publication] Our paper "Demo Abstract: A Monitoring, Modeling, and Interactive Recommendation System for in-home Caregivers" is accpeted by Sensys 2020!
• [Publication] Our paper "DemoAbstract: Continuous Micro Finger Writing Recognition with a Commodity Smartwatch" is accpeted by Sensys 2020!
• [Awards] Aug. 2020. I am very honored to receive Outstanding Graduate Research Awards, Link Lab, University of Virginia (2/250)
• [Publication] Our paper "A Review of Cognitive Assistants for Healthcare: Trends, Prospects, and Future Directions." is accepted by ACM Computing Surveys (Impact Factor: 6.131)
• [Publication] Dec. 2019. Our paper "SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities" has been accepted by 2020 ICCPS. Here is the talk.
• [Publication] Our paper "Data Sets, Modeling, and Decision Making in Smart Cities: A Survey" has been available online. Find the latest data sets and models in smart cities.
• [Event] Aug. 13th, 2018. Serving as the Information Director for ACM Transactions on Computing for Healthcare.
• [Award] July 14th - 17th, 2018. I am horned to receive NSF award to attended 30th International Conference on Computer Aided Verification (2018 CAV) in Oxford, UK.
• [Event] July 5th, 2018. Serving as Publicity Chair of 2nd ACM Workshop on the Internet of Safe Things (SafeThings 2018)
• [Event] May 14th, 2018. Serving as Local Chair of International Workshop on Next-Generation Cyber-Physical Systems
• [Talks] April 11th, 2018. Presented our paper Cityresolver: a decision support system for conflict resolution in smart cities in the 9th ACM/IEEE International Conference on Cyber-Physical Systems (2018 ICCPS, co-located with CPS week).
• [Talks] Nov. 5th, 2017. Presented our paper Runtime monitoring of safety and performance requirements in smart cities in the 1st ACM Workshop on the Internet of Safe Things (SafeThings 2017, co-located with 2017 Sensys)
• [Awards] Oct. 6th, 2017. Received NSF Travel Awards to attend 2017 Sensys

---