Meiyi Ma
Assistant Professor of Computer Science
Intellectual Neighborhoods
Research Focus
Dr. Ma’s group focuses on developing rigorous and robust AI by integrating machine learning and formal methods, and applying integrative solutions to build safe, robust, and reliable Cyber-Physical Systems, especially in Smart Cities and Healthcare.