周國富

周國富，男，2003 年畢業於北京大學信息科學與技術學院，獲得理學博士學位。2002 年10 月，參加美國Eli Lilly公司分散式數據倉庫設計，負責中國大陸、台灣以及菲律賓部分。2002 年9 月，參加北大青鳥工作流管理系統研發。2003 年7 月進入武漢大學計算機科學與技術博士后流動站從事研究工作。2005 起至今，任職於武漢大學軟體工程國家重點實驗室。2006 年12 月至2007 年12 月受國家留學基金資助赴德國漢堡大學國際交流和合作研究。2010年1月至5月，赴美國UC Irvine合作研究。

1、基於Petri 網的代碼缺陷靜態分析中的關鍵問題研究，國家自然科學基金專項基金。

2、基於 Petri 網的程序測試技術研究，教育部出國留學基金。

• "周國富，杜卓敏，基於Petri 網的程序代碼中隱含數據與控制的建模技術，《軟體學報》2011。

• 周國富，CCNeter:C程序代碼Petri網自動建模工具，《計算機科學》，2011.5

• Zhou, G. and G. He, One program model for cloud computing, in The first International Conference on Cloud Computing, Springer, Editor. 2009, Lecture Notes in Computer Science. p. 589-594.

• ZHOU Guofu, HE Yanxiang and DU Zhuomin, Process Description of UniNet. Wuhan University Journal of Natural Science, 2006, 11(2):351-354.

• Guofu Zhou, Yanxiang He, Description of Workflow Patterns based on P/T nets. The 7th International Conference on Enterprise Information Systems, USA, May, 2005.

• Guofu Zhou, Yanxiang He, Visualized Semantic Model based on P/T Nets. The 2005 International Conference on Modeling, Simulation and Visualization Methods, USA, June, 2005. Guofu Zhou, Yanxiang He and Zhuomin Du, Visualizing the Semantics Specification of Distributed Computing. The 17th IMACS, Paris, France, July, 2005.

• Guofu Zhou and Yanxiang He, Modeling Workflow Patterns. International Journal of Innovational Computing and Information Control (Japan), 2005, 1(4):673-684.

• Zhou Guofu, Yuan Chongyi, Mapping PUNITY to UniNet, Journal of Computer Science and Technology, 2003,18(3):378-387.

• 周國富，袁崇義，基於UniNet 的對象概念研究，計算機科學，2003,30(9):14-18.

• 周國富，余鵬，袁崇義，屈婉玲，程序屬性的UniNet 描述，系統模擬學報，2003, 15(z1):85-88.

• 余鵬，周國富，基於Petri 網的工作流模式：工作流模式分析研究，系統模擬學報，2003, 15(z1):119-122.