Meiyi Ma
Assistant Professor, Department of Computer Science
Explainable AI, Large language models, Cyber-physical systems, Internet of things, Formal methods
Dr. Ma’s research is at the intersection of Machine learning, Formal Methods, and Cyber-Physical Systems. Specifically, she develops explainable, rigorous and robust AI by integrating Formal Methods and Machine Learning, and create AI-powered safe, robust, and reliable Cyber-Physical Systems, especially in the areas of Smart Cities and Healthcare.