金 芝, 博士, 教授, 博士生导师

Working Experiences:

Prof. Zhi Jin held a post-doctor position in Institute of Mathematics, Chinese Academy of Sciences from 1992 to 1994 and then became an associate professor. She has been a full professor in Academy of Mathematics and System Science at Chinese Academy of Sciences since 2001. She currently is a full professor in Peking University.

Prof Zhi Jin is vice director of the Key Laboratory of High Confidence Software Technologies of the Ministry of Education, and vice director of the Key Laboratory on Management, Decision and Information Systems of Chinese Academy of Sciences.

Prof. Zhi Jin was a visiting scholar in INRIA, France, from November 1996 to May 1997 and in Ulster University, UK, from December 1997 to November 1998 and from October 2000 to May 2001. She was visiting professor in Queen’s University at Belfast, UK, from January 2004 to March 2004 and from July 2004 to September 2004. She was a visiting professor in Oxford Brookes University, UK, from July 2008 to September 2008. She is also an adjunct professor in Institute of Computing Technology at Chinese Academy of Sciences since 2004.

Research Interests and Major Research Achievements:

Prof. Zhi Jin has been a winner for several national-wide awards in China because of her outstanding research achievements. She has attracted and leads over 20 national competitive grants which include the Premier’s Award of Distinguished Young Scientists in China awarded by the National Natural Science Foundation of China in 2006. She is now the First Chief Investigator for three national-level projects and two bilateral collaboration international projects. She has published two monographs, about 30 journal papers and over 60 international conference papers.

Prof. Zhi Jin has been working on knowledge-based requirements engineering for over ten years and has expertise, skills and research background in this field. She is leading the development of domain-modelling based requirements engineering for solving the most difficult problem in requirements engineering, i.e. communication and the automated requirements modelling and analysis built upon domain models. This work has been referred by UK Magazine AI WATCH as the first example that is putting the idea of using domain-specific KBSs to support mainstream software development into practice. Along this line, she has proposed the domain environment modelling based software capability specification which has been used in the service description and composition in Service Oriented Computing. She has published a series of papers in leading journals and conferences on this topic. Additionally, she has worked on another difficult issue in requirements engineering, i.e. the requirements inconsistency handling. She and her colleagues proposed an integrated measurement for locating and resolving inconsistency with the potential to develop a usable industrial tool.

Selected Recent Publications:

Related works have been published in renowned international journals such as IEEE Transactions on Knowledge and Data Engineering (IF = 2.063), Knowledge and Information Systems: An International Journal (IF = 0.57), Soft Computing (IF = 0.538), etc and in international mainstream conferences such as COMPSAC, ICWS, RE etc. These papers have received over 120 citations so far. The following are some selected publiucations:

[1]  Shichao Zhang, RifengWang and Zhi Jin, Strategies for complex data cube queries, Applied Intelligence, DOI 10.1007/s10489-008-0130-2

[2]  Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue and David A. Bell, Handling Inconsistency in Distributed Software Requirements Specifications Based on Prioritized Merging, Fundamenta Informaticae, 91(3-4): 631-670, 2009

[3]  Puwei Wang, Zhi Jin, Lin Liu, and Guangjun Cai, Building Towards Capability Specifications of Web Services Based on an Environment Ontology, IEEE Transactions on Knowledge and Data Engineering, 20(4): 547-561, 2008

[4]  Shengchao Ding, Zhi Jin and Qing Yang, Evolving Quantum Circuits at the Gate Level with a Hybrid Quantum-inspired Evolutionary Algorithm, Soft Computing, 12(11): 1059-1072, 2008

[5]  Ruqian Lu and Zhi Jin, From Knowledge based Software Engineering to Knowware based Software Engineering, Science in China Series F: Information Sciences, 51(6): 638-660, 2008

[6]  Kedian Mu, Zhi Jin, Ruqian Lu and Yan Peng, Handling Non-Canonical Software Requirements Based on Annotated Predicate Calculus, Knowledge and Information Systems: An International Journal, 11(1): 85-104, 2007

[7]  Lishan Hou, Zhi Jin and Budan Wu, Modeling and Verifying Web Services Driven by Requirements: An Ontology based Approach, Science in China Series F: Information Sciences, 49(6), 2006

[8]  Zhi Jin, Revisiting the Meaning of Requirements, Journal of Computer Science and Technology, 21(1): 32-40, 2006

[9]  Zhi Jin, David A.Bell, F.G.Wilkie and D.G.Leahy, Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuse, International Journal of Software Engineering and Knowledge Engineering, 13(1): 53-82, 2003

[10]Zhi Jin, Ruqian Lu and David A.Bell, Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach, Science in China Series F: Information Sciences, 46(4): 279-297, 2003

[11]Zhi Jin and David A.Bell, An Experiment for Showing some kind of Understanding, Expert Systems: The International Journal of Knowledge Engineering and Neural Networks, 20(2): 100-107, 2003

[12]Ruqian Lu and Zhi Jin, Automating Application Software Generation, Expert Systems: The International Journal of Knowledge Engineering and Neural Networks, 20(2): 71-77, 2003

Other Academic Activities:

Prof. Zhi Jin was elected as a senior member of the Institute of Electrical and Electronic Engineers (IEEE) in 2008. She is also a senior member and a standing member of the China Computer Federation (CCF) since 2004. She serves on the editorial board of Expert Systems: the Journal of Knowledge Engineering (Black Well Publishing), Journal of Software (Science in China Press), and Journal of Computer (Science in China Press). She is a grant review panellist for the National Science Foundation of China (Information Science Division). She served as program committee co-chairs ISFST’04, ISEAT’06-08, IWAAPF’06-08, KSEM’09, PRIMA'09 and COMPSAC'11 and program committee area chair of KSEM’07, and program committee member of various international conferences and a number of national conferences, including AAMAS(2009, 2010), RE (2010), PRICAI (2009, 2010) etc.

Awards and Honours:

2008: Senior member of the Institute of Electrical and Electronic Engineers (IEEE)

2006: The National Science Fund for Distinguished Young Scholars of China

2004: Senior member of the China Computer Federation (CCF)

2004: The Award for Distinguished Women IT Researcher Award of China

2000: The Award for Chinese Academy of Science Distinguished Young Scholars

1997: The Zhong Chuang Software Telant Award