Resume

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