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

Biography

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.

Responsibilities

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)

  • Li, P., Sun, J., & Wang, H. (2017). Formal Approach to Assertion-Based Code Generation. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 27 (9-10), 1637-1662. 10.1142/S0218194017400162
  • 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
    URL: http://hdl.handle.net/2292/32238
    Other University of Auckland co-authors: Gill Dobbie
  • Varoy, E., Burrows, J., Sun, J., & Manoharan, S. (2017). From Code to Design: A Reverse Engineering Approach. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. 10.1109/ICECCS.2016.030
    URL: http://hdl.handle.net/2292/32126
    Other University of Auckland co-authors: Elliot Varoy, Sathiamoorthy Manoharan
  • Desai, A., Molloy, N., Sun, J., & Dobbie, G. (2017). Visual development platform for ruby on rails. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2017-047
    Other University of Auckland co-authors: Gill Dobbie
  • Wu, C. Y., Lee, B. Y., Sun, J., Latt, Y. Y., Shepherd, K., & Watts, J. (2017). Named entity extraction and classification in digital publications. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2017-132
    Other University of Auckland co-authors: Yin Yin Latt
  • Li, P., Sun, J., & Wang, H. (2017). Towards code generation from design models. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2017-133
    URL: http://hdl.handle.net/2292/34930
  • Eckert, C., Cham, B., Li, P., Sun, J., & Dobbie, G. (2016). Linking Design Model with Code. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 26 (9-10), 1473-1491. 10.1142/S0218194016400131
    URL: http://hdl.handle.net/2292/32239
    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

Identifiers

Contact details

Primary office location

SCIENCE CENTRE 303 - Bldg 303
38 PRINCES ST
AUCKLAND 1010
New Zealand

Web links