个人简介

主要学习与工作经历：2004~2007中国科技大学硕士研究生2007~安徽工程大学，现任讲师所获奖励：1、2016年校教学骨干三档。2、2015年校教学优秀奖三等奖。出版教材：1、副主编：JavaEE开发技术与案例教程，人民邮电出版社。2、参编：Java程序设计——原理与范例，电子工业出版社。

研究领域

软件工程、软件形式化验证

承担的主要科研项目：1、2018-,主持安徽科创生产力促进中心产学研项目：数字化智能化工厂的研究与开发。2、2015-2016,主持中科美菱产学研项目：二维码产成品管理系统。3、2010-2012，主持大陆汽车电子（芜湖）产学研项目：ResourcePlanningTool1&2。4、2011-2012，主持奇瑞汽车股份公司中央研究院产学研项目：辅助泊车。5、2016~2018，主持省高等教育提升计划自然科学研究一般项目：基于语言包含关系的软件形式化量化验证方法研究。6、2015-2017，主持校本科教学质量提升计划项目：Web程序设计课程开展项目驱动教学法的研究与探索。7、2008-2010，主持校青年基金项目：基于TDD的GUI开发研究与应用。8、2012-2014，参与清华大学卢强院士芜湖高新区工作站项目：电网薄弱环节识别、跟踪与分析。9、2015-2016，参与中科美菱产学研项目：中科美菱生物样本库管理系统。

近期论文

1、WangGW,ShenYX,PanHY.AnalyzingQuantitativeTransitionSystems[M]//QuantitativeLogicandSoftComputing2016.SpringerInternationalPublishing,2017.2、汪国武,沈应兄,潘海玉.量化转换系统的格值语言包含关系[J].模糊系统与数学,2016(5):50-59.3、汪国武.带空移动的加权有限自动机量化等价及其转换[J].计算机应用与软件,2016,33(8):23-26.4、汪国武,郦丽,潘海玉.量化交替转换系统的模拟关系[J].模糊系统与数学,2017(1):123-127.5、汪国武，汪军.JavaWeb教学中应用机房授课的项目驱动教学[J].电脑知识与技术,2017(4):134-136.