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

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

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

研究方向：

軟件工程,、軟件形式化驗(yàn)證

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

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

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

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

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

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

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

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

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

9、 2015-2016,，參與中科美菱產(chǎn)學(xué)研項(xiàng)目：中科美菱生物樣本庫管理系統(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)有限自動機(jī)量化等價(jià)及其轉(zhuǎn)換[J]. 計(jì)算機(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)用機(jī)房授課的項(xià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è)計(jì)——原理與范例,，電子工業(yè)出版社。