Pillar / Cluster: Information Systems Technology and Design
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
- Patent No. 201310185507.4 CHINA