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.


    echo "emlrYW5neGlvbmdAZ21haWwuY29t" | base64 -d


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


CAV 2020 AEC, PLDI 2020 AEC