Hi there! Welcome to my homepage! I am a graduate student in the ECE department at UIUC, advised by Prof. Sayan Mitra. I obtained a bachelor’s degree from the Department of Automation, Tsinghua University in July 2018. My research interests lie in the area of formal verification, control, and machine learning.


University of Illinois at Urbana-Champaign

Department of Electrical and Computer Engineering
Aug. 2019 – ????

Tsinghua University
Bachelor of Engineering

Department of Automation
Aug. 2014 – June 2018


SRI International
Research Intern

Advised by Dr. Susmit Jha
May. 2020 – Aug. 2020

Intel Labs China
Research Intern

Advised by Dr. Anbang Yao
Apr. 2017 – Aug. 2019

School of Computing, National University of Singapore
Research Intern

Advised by Prof. Gim Hee Lee
July 2017 – Sept. 2017


  • Email: sundw2014 AT gmail DOT com
  • Address: 247 CSL,  1308 W Main St,  Urbana,  IL  61801