主要學習與工作經歷：

2004~2007中國科技大學碩士研究生

2007~     安徽工程大學，現任講師

研究方向：

軟件工程、軟件形式化驗證

承擔的主要科研項目：

1、 2018-  ,主持安徽科創(chuàng)生產力促進中心產學研項目：數字化智能化工廠的研究與開發(fā)。

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開發(fā)研究與應用。

8、 2012-2014，參與清華大學盧強院士蕪湖高新區(qū)工作站項目：電網薄弱環(huán)節(jié)識別、跟蹤與分析。

9、 2015-2016，參與中科美菱產學研項目：中科美菱生物樣本庫管理系統。

發(fā)表論文：

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年校教學優(yōu)秀獎三等獎。

出版教材：

1、副主編：Java EE開發(fā)技術與案例教程，人民郵電出版社。

2、參編：Java程序設計——原理與范例，電子工業(yè)出版社。