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.

CV updated at 2021-02-27.


    echo "emlrYW5neGlvbmdAZ21haWwuY29t" | base64 -d


Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Zikang Xiong, and Suresh Jagannathan.
Under Review [pdf]

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


ADHS 2021 AEC, CAV 2020 AEC, PLDI 2020 AEC