Jingyi Wang王竟亦
Assistant professor, Zhejiang University · leading the IS2 (Intelligent System Security) Lab, Hangzhou, China
I am interested in developing new theories and practice towards establishing formal trust for complex intelligent systems built from software or AI or control. Collaborations from academia and industry are warmly welcome.
Research themes
FM
Formal methods & program analysis
Model checking, theorem proving, symbolic execution and fuzzing.
SE4AISoftware engineering for AI
Testing, verification, and repair of neural networks, LLM applications and agents.
AI4SEAI for software engineering
LLM-aided formal modelling and verification, agentic code generation.
Each theme links to the matching papers. See all publications.
Experience
- 2019–20
- Research fellow with Prof. Jin Song Dong, School of Computing, National University of Singapore.
- 2018–19
- Research fellow with Prof. Jun Sun, Information Systems Technology and Design, Singapore University of Technology and Design.
- 2018
- Ph.D., Singapore University of Technology and Design.
- 2013
- B.E. in information engineering, Xi’an Jiaotong University.
Awards
- ACM SIGSOFT Distinguished Paper Award, ICSE 2018
- ACM SIGSOFT Distinguished Paper Award, ICSE 2020
- ACM SIGSOFT Research Highlights
- Best Paper Award Runner-up, IEEE TDSC 2024
Outside work
I play badminton regularly, and DOTA2 and PES when there is time.