Zili Wang

Position
  • PhD Student

Contact

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.