姓名：李明 性别：男 职称：副教授 电话：18986213170 E

姓名：彭国军 性别：男 职称：副教授 电话： E-mail：guoj

姓名：严飞 性别：男 职称：副教授 电话：18986172798 E

 姓名：罗敏 性别：男 职称：副教授 电话：13907125177&

姓名：武小平 性别：男 职称：副教授 电话：13986011151 

姓名：袁梦霆 性别：男 职称：副教授 电话：+862768775592&

姓名：周国富 性别：男 职称：副教授 电话：13006193065 E-mail：gfzhou@whu.e.cn 学历学位：博士 硕/博士生导师：硕士生导师 研究方向：Petri网，软件测试，程序建模，并行计算，程序语义周国富，男，2003年毕业于北京大学信息科学与技术学院，获得理学博士学位。2002年10月，参加美国EliLilly公司分布式数据仓库设计，负责中国大陆、台湾以及菲律宾部分。2002年9月，参加北大青鸟工作流管理系统研发。2003年7月进入武汉大学计算机科学与技术博士后流动站从事研究工作。2005起至今，任职于武汉大学软件工程国家重点实验室。2006年12月至2007年12月受国家留学基金资助赴德国汉堡大学国际交流和合作研究。2010年1月至5月，赴美国UCIrvine合作研究。科研工作1、基于Petri网的代码缺陷静态分析中的关键问题研究，国家自然科学基金专项基金。2、基于Petri网的程序测试技术研究，教育部出国留学基金。主要论文"[1]周国富，杜卓敏，基于Petri网的程序代码中隐含数据与控制的建模技术，《软件学报》2011。[2]周国富，CCNeter:C程序代码Petri网自动建模工具，《计算机科学》，2011.5[3]Zhou,G.andG.He,Oneprogrammodelforcloudcomputing,inThefirstInternationalConferenceonCloudComputing,Springer,Editor.2009,LectureNotesinComputerScience.p.589-594.[4]ZHOUGuofu,HEYanxiangandDUZhuomin,ProcessDescriptionofUniNet.WuhanUniversityJournalofNaturalScience,2006,11(2):351-354.[5]GuofuZhou,YanxiangHe,DescriptionofWorkflowPatternsbasedonP/Tnets.The7thInternationalConferenceonEnterpriseInformationSystems,USA,May,2005.[6]GuofuZhou,YanxiangHe,VisualizedSemanticModelbasedonP/TNets.The2005InternationalConferenceonModeling,SimulationandVisualizationMethods,USA,June,2005.[7]GuofuZhou,YanxiangHeandZhuominDu,VisualizingtheSemanticsSpecificationofDistributedComputing.The17thIMACS,Paris,France,July,2005.[8]GuofuZhouandYanxiangHe,ModelingWorkflowPatterns.InternationalJournalofInnovationalComputingandInformationControl(Japan),2005,1(4):673-684.[9]ZhouGuofu,YuanChongyi,MappingPUNITYtoUniNet,JournalofComputerScienceandTechnology,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. 

文卫东，男，博士，副教授。2007年3月在武汉大学获得计算机软件与理论博士学位；2007年3月进入武汉大学计算机学院任教，任讲师；2010年12月被武汉大学聘为副教授。2011年5月被聘为硕士生导

 姓名：喻丹丹 性别：女 职称：副教授 电话：027-62954692