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 SE and AI, formal methods and security. He has published in various top venues such as S&P, CCS, ICSE, ASE, ISSTA, FM and TACAS. He received two ACM SIGSOFT Distinguished Paper Award (ICSE 2018 and ICSE 2020) and was also selected as ACM SIGSOFT Research Highlights.