Education

École Polytechnique Fédérale de Lausanne (EPFL)

Lausanne, Switzerland

Doctor of Philosophy in Computer Science

September 2017 -

Thesis: Towards verifiable, generalizable and efficient robust deep neural networks.

École Polytechnique Fédérale de Lausanne (EPFL)

Lausanne, Switzerland

Master of Science in Computer Science

September 2015 - August 2017

GPA: 5.73/6.00   Transcript

Tsinghua University

Beijing, P. R. China

Bachelor of Engineering in Computer Science

August 2011 - July 2015

GPA: 91.34/100.00   Transcript   Rank: 9/123

Awards & Honors

Qualcomm Innovation Fellowship Europe 2020 Finalist (15 in Europe)	March 2020
ICML 2019 Travel Award	June 2019
Microsoft Research PhD Scholarship	September 2017 - April 2019
Outstanding Graduates of Department of Computer Science and Technology in Tsinghua University	July 2015
Scholarship of Academic Excellence in Tsinghua University	October 2014
Scholarship of APEC Tsinghua CEO CCI	October 2013
Scholarship of Social Work in Tsinghua University	October 2013