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

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)

Identifiers

Contact details

Primary location

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

Web links