Zili Wang
Position
- PhD Student
Zili Wang is a PhD student working with Kristin Rozier in the Department of Computer Science at Iowa State University. His research interests are at the intersection of Formal Methods (FM) and Machine Learning (ML), exploring how each field can be leveraged to enhance the other.
Area of Expertise
- Theorem Proving Reinforcement Learning Adversarial Attacks
Education
- B.S., Mathematics and Computer Science, University of California, Berkeley