武汉大学计算机学院导师介绍:周国富
![](http://img.kybimg.com/bang/images/m/icon_down.png)
姓名:周国富 性别:男 职称:副教授
姓名:周国富 | 性别:男 |
职称:副教授 | 电话:*********** |
E-mail:gfzhou@whu.edu.cn | |
学历学位:博士 | |
硕/博士生导师:硕士生导师 | |
研究方向:Petri网,软件测试,程序建模,并行计算,程序语义 |
周国富,男,2003 年毕业于北京大学信息科学与技术学院,获得理学博士学位。2002 年10 月,参加美国EliLilly公司分布式数据仓库设计,负责中国大陆、台湾以及菲律宾部分。2002 年9 月,参加北大青鸟工作流管理系统研发。2003 年7月进入武汉大学计算机科学与技术博士后流动站从事研究工作。2005 起至今,任职于武汉大学软件工程国家重点实验室。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, Oneprogram 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 VisualizationMethods, USA, June, 2005.
[7]Guofu Zhou, Yanxiang He and Zhuomin Du, Visualizingthe 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.
- 2020-05-03邀您写真题回忆版及复习经验,论坛有大礼相送
- 2020-05-032016武汉大学考研复试经验汇总
- 2021-08-312021年武大外院 英语语言文学 外应 翻译学真题回忆
- 2021-07-31马原 中国化历年真题
- 2021-05-06分享武大水院考研水力学2001-2011年真题高清扫描件及教材
- 2021-03-222019年武汉大学社会学院社会学专业课真题
- 2021-03-22武大各科考研真题汇总(8.17更新2010环境科学,图书馆,社保
- 2021-02-27武大翻硕败北湖大口译上岸经验帖
- 2020-10-302017马原、毛中特真题回忆版
- 2020-10-30武大马院 (马原、发展史、中国化)历年真题