Meiyi Ma

Assistant Professor
Department of Computer Science
Vanderbilt University
Email: meiyi.ma AT vanderbilt.edu









I am an Assistant Professor in the department of Computer Science at Vanderbilt University. I received my Ph.D. in Computer Science at the University of Virginia. My research is at the intersection of Machine learning, Formal Methods, and Cyber-Physical Systems. Specifically, my work integrates Formal Methods and Machine Learning, and apply the integrative solutions to build safe, robust and reliable Cyber-Physical Systems, especially in areas of Smart Cities and Healthcare.


Recent News:

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