News Archive:

• [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

---