SPLASH 2024 (series) / Chengyu Zhang
Registered user since Thu 25 Jan 2018
Name:Chengyu Zhang
Bio:
Chengyu Zhang is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, mentored by Prof. Zhendong Su. Chengyu Zhang received both Ph.D. and B.S. degrees from East China Normal University (ECNU) with honours (2012-2021), supervised by Prof. Geguang Pu. He was the co-founder of Shanghai Neoclub Information Technology Co., Ltd. (2015-2016) and a visiting Ph.D. student at ETH Zurich (2018-2019).
Country:Switzerland
Affiliation:ETH Zurich
Personal website: http://www.chengyuzhang.com
X (Twitter): https://x.com/chengyuzh
GitHub: https://github.com/muchang
Research interests:Software Engineering, Programming Languages, Formal Methods
Contributions
SPLASH 2024-profile
View general profile
View general profile