主要學(xué)習(xí)與工作經(jīng)歷：

2004~2007中國科技大學(xué)碩士研究生

2007~     安徽工程大學(xué)，現(xiàn)任講師

研究方向：

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

承擔(dān)的主要科研項目：

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

2、 2015-2016,主持中科美菱產(chǎn)學(xué)研項目：二維碼產(chǎn)成品管理系統(tǒng)。

3、  2010-2012，主持大陸汽車電子（蕪湖）產(chǎn)學(xué)研項目：Resource Planning Tool 1&2。

4、 2011-2012，主持奇瑞汽車股份公司中央研究院產(chǎn)學(xué)研項目：輔助泊車。

5、 2016~2018，主持省高等教育提升計劃自然科學(xué)研究一般項目：基于語言包含關(guān)系的軟件形式化量化驗證方法研究。

6、 2015-2017，主持校本科教學(xué)質(zhì)量提升計劃項目：Web程序設(shè)計課程開展項目驅(qū)動教學(xué)法的研究與探索。

7、 2008-2010，主持校青年基金項目：基于TDD的GUI開發(fā)研究與應(yīng)用。

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

9、 2015-2016，參與中科美菱產(chǎn)學(xué)研項目：中科美菱生物樣本庫管理系統(tǒng)。

發(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、 汪國武, 沈應(yīng)兄, 潘海玉. 量化轉(zhuǎn)換系統(tǒng)的格值語言包含關(guān)系[J]. 模糊系統(tǒng)與數(shù)學(xué), 2016(5):50-59.

3、 汪國武. 帶空移動的加權(quán)有限自動機量化等價及其轉(zhuǎn)換[J]. 計算機應(yīng)用與軟件, 2016, 33(8):23-26.

4、 汪國武, 酈麗, 潘海玉. 量化交替轉(zhuǎn)換系統(tǒng)的模擬關(guān)系[J]. 模糊系統(tǒng)與數(shù)學(xué), 2017(1):123-127.

5、 汪國武，汪軍. Java Web教學(xué)中應(yīng)用機房授課的項目驅(qū)動教學(xué)[J].電腦知識與技術(shù),2017(4): 134-136.

所獲獎勵：

1、2016年校教學(xué)骨干三檔。

2、2015年校教學(xué)優(yōu)秀獎三等獎。

出版教材：

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

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