Associate Professor Jing Sun

Ph.D. (01/2000 - 06/2003), Department of Computer Science, School of Computing, National University of Singapore, Republic of Singapore.

Profile Image
Associate Professor


Jing obtained his PhD degree in Computer Science from National University of Singapore. He joined the Department of Computer Science at University of Auckland in 2003, who is now an Associate Professor. 

Research | Current

Jing's research areas are Formal Methods in Software Engineering and Semantic Web, which include formal specification, validation, verification and simulation, model checking, theorem proving, semantic web and ontological reasoning. In recent years, his research focus has been mainly on applying formal modeling and verification techniques to practical Software Engineering to enhance the quality of development. Some of his current research activities involve – software architecture design and analysis, semantic approach to data and domain modeling, model based test case generation, automated code generation from design models, rule based program behaviour monitoring, etc.


Deputy Head of Department (Research)

Committees/Professional groups/Services

Chair of Department of Computer Science Research Committee

Member of Department of Computer Science Executive Committee

Member of Faculty of Science Research Committee

Selected publications and creative works (Research Outputs)


Contact details

Primary office location

SCIENCE CENTRE 303 - Bldg 303
New Zealand

Web links