联系方式

E-mail:gfzhou@whu.edu.cn

办公电话: 68776095

办公地点:

周国富

新葡萄8883官网AMG 软件工程系 智能化软件与服务研究所 副教授 (硕导)

  • 姓名:周国富

  • 主页:

  • 性别:

  • 职称:副教授 (硕导)

  • 学历学位:博士

  • 电话:68776095

  • 办公地点:

  • E-mail:gfzhou ▇ whu.edu.cn 请手工替换符号

  • 领域:Petri网,软件测试,程序建模,并行计算,程序语义

  • 招生信息:年度招收硕士0名,招收方向:。 招收博士0名,招收方向:。

研究方向

周国富,男,2003 年毕业于北京大学信息科学与技术学院,获得理学博士学位。2002 年10 月,参加美国Eli Lilly公司分布式数据仓库设计,负责中国大陆、台湾以及菲律宾部分。2002 年9 月,参加北大青鸟工作流管理系统研发。2003 年7 月进入新葡萄8883官网AMG计算机科学与技术博士后流动站从事研究工作。2005 起至今,任职于新葡萄8883官网AMG软件工程国家重点实验室。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.


发表论文


科研课题


研究团队


知识产权


学术服务


成果展示


其他