Jingyi Wang

Registered user since Thu 24 May 2018

Name: Jingyi Wang

Bio: I’m a tenure-track assistant professor in Zhejiang University. I was a research fellow in National University of Singapore. I obtained my PhD from Singapore University of Technology and Design, Singapore in 2018 and B.E. in Information Engineering from Xi’an Jiaotong University, China in 2013.

In general, I’m interested in problems in the junction of formal methods, software engineering, security, and machine learning. In particular, my current research interests are focused on the design/software aspects of building reliable cyber-physical systems and dependable Artificial Intelligence systems using techniques like testing and formal verification.

Country: China

Affiliation: Zhejiang University

Personal website: https://wang-jingyi.github.io/

Research interests: Formal methods, Software Engineering, Security, Machine learning


ASE 2020Author of Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction within the Research Papers-track
ASE 2019Author of Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement within the Journal First Presentations-track
ICSE 2020Author of White-box Fairness Testing through Adversarial Sampling within the Technical Papers-track
ICSE 2019Author of Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing within the Technical Track-track
* ICSE 2018 *Author of Towards Optimal Concolic Testing within the Technical Papers -track