Associate Professor Jing Sun

Ph.D. (01/2000 - 06/2003), Department of Computer Science, School of Computing, National University of Singapore, 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 Faculty of Science Staffing Committee

Member of Faculty of Science Research Committee

Selected publications and creative works (Research Outputs)

  • Jokhio, M. S., Sun, J., Dobbie, G., & Hu, T. (2017). Goal-based testing of semantic web services. Information and Software Technology, 83, 1-13. 10.1016/j.infsof.2016.11.011
    Other University of Auckland co-authors: Gill Dobbie
  • Jokhio, M. S., Sun, J., Dobbie, G., & Hu, T. (2016). Goal-based testing of semantic web services null. null.10.1016/j.infsof.2016.11.011
    Other University of Auckland co-authors: Gill Dobbie
  • Reddy, Y. R., Pasala, A., Sun, J., & Bahulkar, A. (2016). Message from the program committee chairs 10.1109/APSEC.2015.5
  • Zhu, H., Sun, J., Dong, J. S., & Lin, S. W. (2016). From verified model to executable program: the PAT approach. Innovations in Systems and Software Engineering, 12 (1), 1-26. 10.1007/s11334-015-0269-z
  • Chen, M., Tan, T. H., Sun, J., Wang, J., Liu, Y., Sun, J., & Dong, J. S. (2016). Service adaptation with probabilistic partial models. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10.1007/978-3-319-47846-3_9
  • Eckert, C., Cham, B., Sun, J., & Dobbie, G. (2016). From design to code: An educational approach. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2016-007
    Other University of Auckland co-authors: Gill Dobbie
  • Dong, J. S., Shi, L., Le, V. N. C., Jiang, K., & Sun, J. (2015). Sports Strategy Analytics Using Probabilistic Reasoning. Paper presented at 2015 20th Int Conf Engng Complex Comp Syst, gold coast, AUSTRALIA. 9 December - 11 December 2015. 2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS). (pp. 4). 10.1109/ICECCS.2015.28
  • Dong, J. S., Sun, J., Liu, Y., Li, Y. F., Sun, J., & Shi, L. (2015). Event and Strategy Analytics. Paper presented at International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA. 12 September - 14 September 2015. PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING. (pp. 3). 10.1109/TASE.2015.28


Contact details

  • Media Contact

Primary location

Level 5, Room 522
New Zealand

Web links