Questions? AskAuckland
  

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 expertise is computer aided verification in the Software Engineering domain to enhance the quality and security aspects of software and hardware development. It includes formal specification, software verification, validation and simulation, model checking, theorem proving and ontological reasoning. His recent research projects have been focused on applying machine learning and AI based technologies to the field of automated software engineering, i.e., automatic formal design model repair, automated code generation from design models, semantic rule driven program behaviour monitoring, model-based test case generation, etc.

Selected publications and creative works (Research Outputs)

  • Cai, C.-H., Sun, J., & Dobbie, G. (2019). Automatic B-model repair using model checking and machine learning. AUTOMATED SOFTWARE ENGINEERING, 26 (3), 653-704. 10.1007/s10515-019-00264-4
    Other University of Auckland co-authors: Gill Dobbie
  • Chondamrongkul, N., Sun, J., & Warren, I. (2019). PAT approach to architecture behavioural verification. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2019-041
    Other University of Auckland co-authors: Nacha Chondamrongkul
  • Tudor, L., Sun, J., Wang, H., & Wei, B. (2019). Semantic rule based program monitoring. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2019-043
  • Chondamrongkul, N., Sun, J., Wei, B., & Warren, I. (2019). Parallel Verification of Software Architecture Design. Paper presented at 19th IEEE International Symposium on High Assurance Systems Engineering (HASE), Hangzhou, PEOPLES R CHINA. 3 January - 5 January 2019. 201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019). (pp. 8). 10.1109/HASE.2019.00018
    Other University of Auckland co-authors: Nacha Chondamrongkul, Ian Warren
  • Cai, C.-H., Sun, J., & Dobbie, G. (2018). B-Repair: Repairing B-Models Using Machine Learning. Paper presented at 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Melbourne, AUSTRALIA. 12 December - 14 December 2018. 2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS). (pp. 10). 10.1109/ICECCS2018.2018.00012
    Other University of Auckland co-authors: Gill Dobbie
  • Sun, J., & Sun, M. (2018). Preface.
  • Shanly, C., Ieti, M., Warren, I., & Sun, J. (2018). BackPocketDriver-a mobile app to enhance safe driving for youth. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2018-011
  • Wei, B., Sun, J., & Wang, Y. (2018). A knowledge engineering approach to UML modeling. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE. 10.18293/SEKE2018-114

Identifiers

Contact details

Primary office location

SCIENCE CENTRE 303 - Bldg 303
Level 5, Room 522
38 PRINCES ST
AUCKLAND CENTRAL
AUCKLAND 1010
New Zealand

Web links