Jing Sun

Jing co-developed an automated approach that connects finding faults in software design models with correcting them. Aimed at developers working with models before implementation, the research demonstrated repairs across various designs while evaluating model quality. Teaching precise specification and design, alongside leadership in the verification research community, adds to this contribution to software quality.

Jing Sun is an Associate Professor in the School of Computer Science at the University of Auckland. After completing a PhD in computer science at the National University of Singapore in 2003, Jing joined Auckland’s faculty that August, specialising in computer-aided verification and formal methods.

In 2025, Jing co-authored ‘The automation of design model repair’ with Cheng-Hao Cai and Gillian Dobbie. The resulting technique analyses software design models and automatically proposes changes to resolve faults before implementation. Experiments demonstrated that the approach could correct unreachable goals and rule violations while preserving overall model quality, embedding verification directly into early-stage architectural design.

Alongside research, Jing teaches database systems as well as formal specification and design at Auckland, exploring how software requirements and architecture can be described with precision. Wider academic contributions include serving as general chair of the 2021 International Symposium on Automated Technology for Verification and Analysis.