FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Jingyi Wang

Registered user since Thu 24 May 2018

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 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 at ICSE 2018 and ICSE 2020 respectively. The latter one on fairness testing of deep neural networks was also selected as ACM SIGSOFT Research Highlights.

Country:China
Affiliation:Zhejiang University
Research interests:SE and AI, Formal Methods, Security

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile