Name:Jingyi Wang

Bio:

I’m a research fellow in School of Computing, 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 security/privacy problems in Artificial Intelligence (mainly deep learning systems) and cyber-physical systems.

Country:Singapore

Affiliation:Zhejiang University

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