Name:Jingyi Wang

Bio:

Jingyi Wang is an Assistant Professor at Zhejiang University (ZJU), China. He received Bachelor degree from Xi’an Jiaotong University (XJTU) in 2013 and PhD degree from Singapore University of Technology and Design (SUTD) in 2018. He was a Research Fellow in School of Computing, National University of Singapore (NUS) from 2019 to 2020. His research interests include SE4AI, formal methods and security. He has published in various top venues including S&P, CCS, NDSS, ICSE, ASE, ISSTA, FM and TACAS. He is the recipient of two ACM SIGSOFT Distinguished Paper Award (ICSE 2018 and ICSE 2020), an ACM SIGSOFT Research Highlights, and a Best Paper Award Runner-Up of TDSC 2024. He is serving as the PC of CCS, ICSE, ISSTA, ASE, WWW, AAAI, etc and the PC Co-chair of ICFEM 2025, Large Model Safety Workshop 2025, SAC-SVT 2026.

Country:China

Affiliation:Zhejiang University

Research interests:SE and AI, Formal Methods, Security