周国富
武汉大学计算机学院 软件工程系 智能化软件与服务研究所 副教授 (硕导)
姓名：周国富 pg电子夺宝试玩主页： 性别：男 职称：副教授 (硕导) 学历学位：博士 电话：68776095 办公地点： e-mail：gfzhou ▇ whu.edu.cn 请手工替换符号 领域：petri网，软件测试，程序建模，并行计算，程序语义 招生信息：年度招收硕士0名，招收方向：。 招收博士0名，招收方向：。 |
研究方向
周国富，男，2003 年毕业于北京大学信息科学与技术学院，获得理学博士学位。2002 年10 月，参加美国eli lilly公司分布式数据仓库设计，负责中国大陆、台湾以及菲律宾部分。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, 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.
发表论文
科研课题
研究团队
知识产权
学术服务
成果展示
其他