Zili Wang

PhD Student

Zili Wang is pursuing his Ph.D. in the Department of Computer Science and is affiliated with the Laboratory for Temporal Logics (LTL) under the guidance of Dr. Kristin Yvonne Rozier. His research lies at the crossroads of formal methods and machine learning. Specifically, Wang focuses on leveraging formal methods to enhance the robustness and safety of machine learning applications. 

Area of Expertise: 
Formal Methods
Machine Learning
Computer Science