王戟，男，1969年11月生于上海。1995年获国防科技大学计算机系计算机软件博士学位，师从陈火旺教授。现任国防科技大学教授、博士生导师。主要研究领域为计算机软件。曾获军队科技进步奖2项,霍英东教育基金会第七届高等院校青年教师基金（1999）,全军育才奖金奖（2004），2004年入选教育部新世纪优秀人才支持计划和湖南省新世纪121人才工程。主要社会兼职：IFIP第八技术委员会（信息系统）中国代表、中国计算机学会软件工程专业委员会副主任、《计算机学报》和《软件学报》编委。

　　1997年获得全国“中创软件人才奖”。

代表性著作：
1.Ji Wang, Rui Shen and Hong Zhu. Agent Oriented Programming based on SLABS. Proceedings of 29th Annual IEEE International Computer Software and Application Conference (COMPSAC 2005), IEEE Computer Society 2005
2.Ji Wang, Wei Dong and Zhi-Chang Qi. Slicing Hierarchical Automata for Model Checking UML Statecharts. Formal Methods and Software Engineering, Lecture Notes in Computer Science. Springer 2002,2495
3.Ji Wang and Weidong He. Formal Specification of Stability in Hybrid Control Systems. Hybrid Systems III: Verification and Control, Lecture Notes in Computer Science. Springer 1996,1066
4.Ji Wang and Huowang Chen. A Formal Technique to Analyze Real-time Systems. Proceedings of 17th Annual IEEE International Computer Software and Application Conference (COMPSAC 1993), IEEE Computer Society 1993
5.Ji Wang and Huowang Chen. Temporal Reasoning about Real Time Reactive Systems. IFIP Transactions, North-Holland 1992, A-19

　　金芝，1962年6月生于安徽休宁。1992年获国防科技大学计算机系博士学位，师从胡守仁教授；1992年在中国科学院数学与系统科学研究所师从陆汝钤教授从事博士后研究，1994年出站。现为中国科学院数学与系统科学研究所研究员，博士生导师。主要研究领域为软件工程。主要社会兼职包括：中国计算机学会常务理事，中国计算机学会学术工作委员会副主任，并担任International Symposium on Future Software Technology、联合国际计算机会议（Joint International Conference）、全国计算机大会等多个国际国内学术会议程序委员会主席或委员。

　　1997年获中创软件人才奖。

代表性著作：
1.R.Lu , Z.Jin. Domain Modeling based Software Engineering，New York: Kluwer Academic Publishers，2000
2.Z.Jin, D.A.Bell. An Experiment for Showing some kind of Understanding, Expert Systems: The International Journal of Knowledge Engineering and Neural Networks, 2003, 20(2):100-107
3.Z.Jin, D.A.Bell, F.G.Wilkie et al. Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuse. International Journal of Software Engineering and Knowledge Engineering. 2003,13(1):53-82
4.R.Lu , Z.Jin. Automating Application Software Generation, Expert Systems: The International Journal of Knowledge Engineering and Neural Networks, 2003,20(2):71-77
5.Z.Jin, R.Lu, D.A.Bell, Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach. Science in China (Series F). 2003,46(4):279-297

　　金凌紫，女，1959年8月生于江苏南京，1987年获南京大学计算机科学系计算机软件博士学位，并留校任教，师从徐家福教授。1992年9月至1994年12月赴英国Open大学进行博士后研究。主要研究领域为软件方法学、软件复用与软件测试等。1999年进入软件产业界工作，现在英国软件公司Sealed Media从事软件自动测试的工作。曾获教育部科技进步一等奖（1990，排名3）、江苏省科技进步二等奖。

　　1997年获中创软件人才奖。

代表性著作：
1.Zhu, H., Jin, L., Diaper, D., et al.Software requirements validation via task analysis.Journal of System and Software, 2002, 61(2):145-169
2.金凌紫等. 情形实例驱动的软件需求模型自动生成, 计算机学报，1998(8)
3.Hall, P.A.V., Jin, L. The reengineering and reuse of software. Software Engineering, Dorfman, M. and Thayer, R. H. (eds), IEEE Computer Society Press.1997
4.Jin, L,. Adequacy of testing for Hypertext applications. Information and Software Technology, 1997,39(4):225-234
5.朱鸿，金凌紫.软件质量保障与测试,北京：科学出版社,1997。

　　梅宏，男，1963年5月生于贵州余庆。1992年获上海交通大学计算机科学与工程系计算机软件博士学位，师从孙永强教授；1992年在北京大学师从杨芙清教授从事博士后研究，1994年出站。现为北京大学教授，博士生导师，国家973计划项目“Internet环境下基于Agent的软件中间件理论和方法研究”首席科学家。主要研究领域为软件工程。曾获霍英东基金青年教师奖（研究类）、中国优秀博士后奖、国家杰出青年科学基金、中国青年科技奖、国家科技进步二等奖（1998，排名3）。主要学术兼职包括：国家863高技术计划计算机软硬件技术主题专家组成员，中国计算机学会常务理事、软件工程专业委员会主任，《中国科学（F辑）》、《电子学报》、《软件学报》、《Journal of Computer Science and Technology》、《自然科学进展》等学术刊物编委，多个知名国际学术会议程序委员会委员和全国学术会议程序委员会主席。

　　1997年获中创软件人才奖。

代表性著作：
1.Yang Fuqing, Mei Hong, Wu Qiong, Zhu Bing. An approach to software development based on reuse of heterogeneous components. Science in China(E), 1997,40(4):405－413
2.Hong Mei. A Component Model for Perspective Management of Enterprise Software Reuse. Annals of Software Engineering (USA), 2001,11(1):219-236
3.Hong Mei, Jichuan Chang, Fuqing Yang. Software Component Composition based on ADL and Middleware. Science in China(F), 2001,44(2):136－151
4.Hong Mei. ABC: Supporting Software Architectures in the Whole Lifecycle. Keynote in Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM2004), 28-30 Sept. 2004, Beijing, China, 342-343, published by the IEEE Computer Society, Los Alamitos
5.杨芙清，梅宏. Internet时代的软件技术.中国科学院技术科学部第10次技术科学论坛“信息技术科学”专题学术报告会论文集，北京，2004, 11-30