My Research Interest

I'm most interested in the automation of programming and debugging, currently with a focus on network programs. The following fields generally attracts my attention: Programming Languages, Security, Operating Systems, Networks

Advised By

Boon Thau Loo

Rajeev Alur


Ph.D.: University of Pennsylvania 2017~present

Bachelor: Shanghai Jiao Tong University 2012~2016