主要學(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è)出版社。