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.

Education

University of Illinois at Urbana-Champaign
Ph.D.

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


Tsinghua University
Bachelor of Engineering

Department of Automation
Aug. 2014 – June 2018


Internships

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

Contact

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