FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
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 of National University of Singapore (NUS) from 2019 to 2020. Jingyi’s research interests include software engineering, formal methods, artificial intelligence and cyber-security. He has published in top venues like ICSE, TSE, S&P, CCS, ASE, FM, TACAS, etc. He received two ACM SIGSOFT Distinguished Paper Award at ICSE (2018 and 2020), the latter of which on fairness testing of deep neural networks was also selected as ACM SIGSOFT Research Highlight.

Country:China
Affiliation:Zhejiang University
Research interests:Software Engineering; Formal Methods; Artificial Intelligence; Cyber-Security

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile