Jingyi Wang

Registered user since Thu 24 May 2018

Name: Jingyi Wang

Bio: I’m currently a research fellow in School of Computing, National University of Singapore. I obtained my PhD in Singapore University of Technology and Design in 2018. Before that, I got my B.E. degree in Information Engineering from Xi’an Jiaotong University in 2013.

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 security problems in Artificial Intelligence (mainly deep learning systems) and cyber-physical systems.

Country: Singapore

Affiliation: National University of Singapore, Singapore

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

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

Contributions

ASE 2019Author of Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement within the Journal First Presentations-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