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.
Affiliation: Zhejiang University
Personal website: https://wang-jingyi.github.io/
Research interests: Formal methods, Software Engineering, Security, Machine learning