王健

2008年6月至今在武漢大學計算機學院軟體工程國家重點實驗室工作。2008年6月於武漢大學計算機軟體與理論專業畢業，獲博士學位。目前主要從事需求工程、服務計算和語義互操作方面的研究工作。目前是CCF、ACM和IEEE會員。近年來作為科研骨幹參與了國家973項目、863項目、國家自然科學基金項目等多項課題，已發表論文二十餘篇，參與編寫專著一部，合作申請發明專利三項。

曾承擔電子政務系統規劃與開發案例、計算機網路兩門課程的教學工作。

主持武漢大學自主科研項目一項，近年來作為骨幹參與了國家973項目、863項目、國家自然科學基金項目等多項課題。

1] Keqing He, Jian Wang, Peng Liang,“Towards Semantic Interoperability Aggregation in Service Requirements Refinement”, Journal of Computer Science and Technology, 2010, 25(6), pp.1103-1117.

Zhouxuan Sun, Jian Wang, Keqing He，“A Model Transformation Method in Service-oriented Domain Modeling”， Proceedings of 21st Australasian Software Engineering Conference（ASWEC2010), April 2010, ,pp.107-116.(通訊作者)

Jian Wang, Keqing He, Yangfan He, Chong Wang, “Towards Service-oriented Semantic Interoperability based on Connecting Ontologies”, Proceedings of 2009 Interoperability for Enterprise Software and Applications, April 2009, pp.28-33.

Jian Wang, Keqing He, Ping Gong, Chong Wang, “RGPS: A Unified Requirements Meta-Modeling Frame for Networked Software”, Proceedings of IWAAPF08 workshop at 30th International Conference on Software Engineering(ICSE08), Leipzig, Germany, May 2008, pp. 29-35.

Jian Wang, Keqing He, Wei Liu, Rong Peng, Bing Li, “A Service-Oriented Domain Modeling Framework for Networked Software”, Dynamics of Continuous Discrete and Impulsive Systems - Series B, Special Issue on Software Engineering and Complex Networks, December 2007, pp. 246-252.\

Jian Wang, Keqing He, “Towards Representing FCA-based Ontologies in Semantic Web Rule Language”, Proceedings of the 6th IEEE International Conference on Computer and Information Technology, Seoul, Korea, September 2006, P.41