武汉大学 周国富
985211 双一流
- 湖北省武汉市武昌区八一路299号
- http://www.whu.edu.cn/ http://aoff.whu.edu.cn/
- 027-68754231
- wlxxs@whu.edu.cn
周国富
| 姓名： | 周国富 |
| 学校： | 武汉大学 |
| 学院： | 软件工程国家重点实验室 |
| 职称： |
周国富老师的简介
<div class> <table width> <tbody> <tr> <td> 姓名：周国富</td> <td> 性别：男</td> </tr> <tr> <td> 职称：副教授</td> <td> 电话：13006193065</td> </tr> <tr> <td colspan> E-mail：gfzhou@whu.edu.cn</td> </tr> <tr> <td colspan> 学历学位：博士</td> </tr> <tr> <td colspan> 硕/博士生导师：硕士生导师</td> </tr> <tr> <td colspan> 研究方向：Petri网，软件测试，程序建模，并行计算，程序语义</td> </tr> </tbody> </table> <p> 周国富，男，2003 年毕业于北京大学信息科学与技术学院，获得理学博士学位。2002 年10 月，参加美国EliLilly公司分布式数据仓库设计，负责中国大陆、台湾以及菲律宾部分。2002 年9 月，参加北大青鸟工作流管理系统研发。2003 年7月进入武汉大学计算机科学与技术博士后流动站从事研究工作。2005 起至今，任职于武汉大学软件工程国家重点实验室。2006 年12 月至2007 年12月受国家留学基金资助赴德国汉堡大学国际交流和合作研究。2010年1月至5月，赴美国UC Irvine合作研究。 <br/> <br/> 科研工作</strong><br/> 1、基于Petri 网的代码缺陷静态分析中的关键问题研究，国家自然科学基金专项基金。<br/> 2、基于 Petri网的程序测试技术研究，教育部出国留学基金。 <br/> <br/> 主要论文<br/> </strong> "[1]周国富，杜卓敏，基于Petri 网的程序代码中隐含数据与控制的建模技术，《软件学报》2011。 <br/> [2]周国富，CCNeter:C程序代码Petri网自动建模工具，《计算机科学》，2011.5<br/> [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.<br/> [4]ZHOU Guofu, HE Yanxiang and DU Zhuomin, Process Description of UniNet. Wuhan University Journal of Natural Science, 2006, 11(2):351-354. <br/> [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.<br/> [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.<br/> [7]Guofu Zhou, Yanxiang He and Zhuomin Du, Visualizingthe Semantics Specification of Distributed Computing. The 17th IMACS, Paris,France, July, 2005.<br/> [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. <br/> [10]周国富，袁崇义，基于UniNet 的对象概念研究，计算机科学，2003,30(9):14-18. <br/> [11]周国富，余鹏，袁崇义，屈婉玲，程序属性的UniNet 描述，系统仿真学报，2003, 15(z1):85-88.<br/> [12]余鹏，周国富，基于Petri网的工作流模式：工作流模式分析研究，系统仿真学报，2003, 15(z1):119-122.<br/> <br/> <br/> </p> </div>
周国富老师的课程
周国富老师的论文
- 暂时还没有收录周国富老师的论文，我们将尽快添加。
周国富老师参与的论文
- 暂时还没有收录周国富老师参与的论文，我们将尽快添加。
软件工程国家重点实验室 其他教师
关于周国富老师的相关提示：以上内容并非是周国富老师的最新情况，请以周国富老师的官方公布信息为准。
