主要学习与工作经历：
2004~2007中国科技大学硕士研究生
2007~ 蘑菇视频手机版，现任讲师
研究方向：
软件工程、软件形式化验证
承担的主要科研项目：
1、 2018- ,主持安徽科创生产力促进中心产学研项目：数字化智能化工厂的研究与开发。
2、 2015-2016,主持中科美菱产学研项目：二维码产成品管理系统。
3、 2010-2012，主持大陆汽车电子（芜湖）产学研项目：Resource Planning Tool 1&2。
4、 2011-2012，主持奇瑞汽车股份公司中央研究院产学研项目：辅助泊车。
5、 2016~2018，主持省高等教育提升计划自然科学研究一般项目：基于语言包含关系的软件形式化量化验证方法研究。
6、 2015-2017，主持校本科教学质量提升计划项目：Web程序设计课程开展项目驱动教学法的研究与探索。
7、 2008-2010，主持校青年基金项目：基于TDD的GUI开发研究与应用。
8、 2012-2014，参与清华大学卢强院士芜湖高新区工作站项目：电网薄弱环节识别、跟踪与分析。
9、 2015-2016，参与中科美菱产学研项目：中科美菱生物样本库管理系统。
发表论文：
1、 Wang G W, Shen Y X, Pan H Y. Analyzing Quantitative Transition Systems[M]// Quantitative Logic and Soft Computing 2016. Springer International Publishing, 2017.
2、 汪国武, 沈应兄, 潘海玉. 量化转换系统的格值语言包含关系[J]. �：低秤胧�, 2016(5):50-59.
3、 汪国武. 带空移动的加权有限自动机量化等价及其转换[J]. 计算机应用与软件, 2016, 33(8):23-26.
4、 汪国武, 郦丽, 潘海玉. 量化交替转换系统的模拟关系[J]. �：低秤胧�, 2017(1):123-127.
5、 汪国武，汪军. Java Web教学中应用机房授课的项目驱动教学[J].电脑知识与技术,2017(4): 134-136.
所获奖励：
1、2016年校教学骨干三档。
2、2015年校教学优秀奖三等奖。
出版教材：
1、副主编：Java EE开发技术与案例教程，人民邮电出版社。
2、参编：Java程序设计——原理与范例，电子工业出版社。