Name:Yiming Shen

Bio:

I am a second-year graduate student at Sun Yat-sen University, under the supervision of Dr. Jiachi Chen and Dr. Yanlin Wang. Currently, I’m working as a Research Assistant at Zhejiang University.

My research centers on software security, particularly Web3 ecosystems [Sec’26] and smart contract security [ICSE’25, TSE’25a]. Recently, I’ve been interested in the bidirectional coupling between LLMs and program analysis: 1) leveraging LLMs to enhance program analysis [ICSE’26, TSE’25b]; 2) employing program analysis techniques to verify the trustworthiness of LLMs [Arxiv‘25, Under Submission’26].

I am seeking Ph.D. opportunities for Fall 2027. Please contact me if you are interested.

Country:China

Affiliation:Sun Yat-sen University

Research interests:Web3, Software Security, Program Analysis