I am a PhD student at Computer Science Department, Purdue University. I am advised by Prof. Suresh Jagannathan.
Research Interests
- Verification for machine learning system
- Testing for machine learning system
Publication
2019
An Inductive Synthesis Framework for Verifiable Reinforcement Learning.
He Zhu, Zikang Xiong, Stephen Magill and Suresh Jagannathan.
ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2019)
Distinguished Paper
Contact
Email: base64.decode(“emlrYW5neGlvbmdAZ21haWwuY29t”)
Education
PhD, 2018.8-Present
Computer Science,
Purdue University, West Lafayette
Bachelor, 2014.9-2018.7
Software Engineering,
University of Electronic Science and Technology of China