Gao Bo

Home / People / PhD Students / Gao Bo

PhD Student

Email: 
Pillar / Cluster: Information Systems Technology and Design

Supervisor

Associate Professor Sun Jun

Biography

GaoBo acquired his master degree in 2014 and bachelor degree in 2012 from Xi’an Jiaotogn University, worked as Operation Leadership Development Program Trainee in Eaton Corporation. Now He is a Ph.D. student of SUTD.

His research interests concentrate on program analysis, formal method, especially the verification of Ethereum contract.

Education & Experience

  • Sep. 2017 – Now PhD student
  • Jan. 2017 – Sep. 2017 Research Assistant
  • Jul. 2014 – Dec. 2016 Eaton Corporation
  • Sep. 2008 – Jun. 2014 Xi’an JiaoTong University

Awards & Achievements

  • SUTD President’s Graduate Fellowship, 2013 – Present

Publication

  • Patent No. 201310185507.4 CHINA