周國富
437bwin必贏國際官網 軟件工程系 智能化軟件與服務研究所 副教授 (碩導)
姓名：周國富 主頁： 性別：男 職稱：副教授 (碩導) 學歷學位：博士 電話：68776095 辦公地點： E-mail：gfzhou ▇ whu.edu.cn 請手工替換符號 領域：Petri網，軟件測試，程序建模，并行計算，程序語義 招生信息：年度招收碩士0名，招收方向：。 招收博士0名，招收方向：。 |
研究方向
周國富，男，2003 年畢業于北京大學信息科學與技術學院，獲得理學博士學位。2002 年10 月，參加美國Eli Lilly公司分布式數據倉庫設計，負責中國大陸、臺灣以及菲律賓部分。2002 年9 月，參加北大青鳥工作流管理系統研發。2003 年7 月進入437bwin必贏國際官網計算機科學與技術博士后流動站從事研究工作。2005 起至今，任職于437bwin必贏國際官網軟件工程國家重點實驗室。2006 年12 月至2007 年12 月受國家留學基金資助赴德國漢堡大學國際交流和合作研究。2010年1月至5月，赴美國UC Irvine合作研究。
教育背景
工作經驗
1、基于Petri 網的代碼缺陷靜態分析中的關鍵問題研究，國家自然科學基金專項基金。 2、基于 Petri 網的程序測試技術研究，教育部出國留學基金。
教授課程
"[1]周國富，杜卓敏，基于Petri 網的程序代碼中隱含數據與控制的建模技術，《軟件學報》2011。 [2]周國富，CCNeter:C程序代碼Petri網自動建模工具，《計算機科學》，2011.5 [3]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. [4]ZHOU Guofu, HE Yanxiang and DU Zhuomin, Process Description of UniNet. Wuhan University Journal of Natural Science, 2006, 11(2):351-354. [5]Guofu Zhou, Yanxiang He, Description of Workflow Patterns based on P/T nets. The 7th International Conference on Enterprise Information Systems, USA, May, 2005. [6]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. [7]Guofu Zhou, Yanxiang He and Zhuomin Du, Visualizing the Semantics Specification of Distributed Computing. The 17th IMACS, Paris, France, July, 2005. [8]Guofu Zhou and Yanxiang He, Modeling Workflow Patterns. International Journal of Innovational Computing and Information Control (Japan), 2005, 1(4):673-684. [9]Zhou Guofu, Yuan Chongyi, Mapping PUNITY to UniNet, Journal of Computer Science and Technology, 2003,18(3):378-387. [10]周國富，袁崇義，基于UniNet 的對象概念研究，計算機科學，2003,30(9):14-18. [11]周國富，余鵬，袁崇義，屈婉玲，程序屬性的UniNet 描述，系統仿真學報，2003, 15(z1):85-88. [12]余鵬，周國富，基于Petri 網的工作流模式：工作流模式分析研究，系統仿真學報，2003, 15(z1):119-122.
發表論文
科研課題
研究團隊
知識產權
學術服務
成果展示
其他
