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]