Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Zhen Zhang

Registered user since Sat 7 Nov 2015

Name: Zhen Zhang

Bio: Zhen Zhang is a final-year undergraduate (expected: June 2017) in USTC, who is preparing to apply for PhD program this winter. He has general interests in PL and specifically interested in topics including formal methods, concurrency verification, static analysis, software engineering, system and security. He finished a 3-month research internship during summer of 2016 in MPI-SWS working with Derek Dreyer, and also worked with Prof. Yu Zhang and Prof. Xinyu Feng in USTC-Yale Joint Research Center for High-Confidence Software in USTC.

Country: China

Affiliation: University of Science and Technology of China

Personal website: https://zhenzhang.me

Research interests: Programming Languages, Software Systems, Formal Methods, Security

SPLASH 2016 Activities

SPLASH 2016-profile
View general profile