Meiyi Ma

Department of Computer Science
University of Virginia
Email: meiyi AT


I'm a Ph.D. candidate in the department of Computer Science of the University of Virginia. My advisor is Prof. John Stankovic.
My work focuses on the safety for Cyber Physical System and Internest of Things using Formal Methods. In particularly, I am working on the Safety and Conflict Resolution in Smart Cities and some other projects.
Here is my [CV] and [Google Scholar].