About
I am a PhD student of Computer Science Department, Purdue University, and fortunately advised by Suresh Jagannathan.
I am working on adversarial attack / defense / assurance for deep learning, from the perspective of Programming Language/Formal Methods (PL/FM).
I received my B.Eng of Software Engineering from the University of Electronic Science and Technology of China in 2018.
Contact
echo "emlrYW5neGlvbmdAZ21haWwuY29t" | base64 -d
Pubulications
Robustness to Adversarial Attacks in Learning-Enabled Controllers
Zikang Xiong, Joe Eappen, He Zhu and Suresh Jagannathan.
Under Review [pdf]
An Inductive Synthesis Framework for Verifiable Reinforcement Learning.
He Zhu, Zikang Xiong, Stephen Magill and Suresh Jagannathan.
PLDI 2019 [pdf] [tool]
Distinguished Paper