<label id="0iy2oy"></label><noframes id="0iy2oy">
                      1. 貴州大學 計算機科學與信息學院
                        汪學明 教授、博士
                        汪學明教授、博士

                          汪學明,教授,工學博士,碩士生導師。男,漢族,1965年1月生,安徽績溪人。中國致公黨貴州省委參政議政專委會委員。全國計算機網絡教育研究會理事、中國密碼學會高級會員、美國計算機學會(ACM)會員、中國計算機學會會員、貴州省計算機學會常務理事兼副秘書長、貴州省邏輯教學研究會常務副會長、貴州制約邏輯學會常務副理長兼學術委員會主任、貴州省邏輯學會常務理事、貴州省自動化學會會員。計算智能與安全(CIS)國際學術會議程序委員會委員、中國信息安全技術大會學術委員會委員、《信息安全與技術》編委會委員、國家自然科學基金項目評審專家,《計算機科學與工程》審稿專家。汪華文化研究會常務理事、貴州大學安徽同鄉會名譽會長。貴州大學校級學科學術帶人、計算機信息學院學術委員會委員兼信息安全實驗室主任,雲南大學軟件學院、安徽省安慶師範學院、貴州省畢節學院客座教授。貴州大學計算機軟件與理論、通信與信息系統、邏輯學專業碩士研究生導師。安徽績溪網和新績溪論壇CEO。安徽績溪網(www.vangida.com)始建于1996年3月,是第一個上網宣傳安徽績溪的公益性網站。網站的服務宗旨是:讓世界了解績溪,讓績溪走向世界。
                           1987年安慶師範學院本科畢業,獲理學學士學位;1990貴州工學院碩士研究生畢業。1990年7月至今在貴州大學(原貴州工業大學)計算機科學與技術學院從事計算機科學和信息安全等專業的教學與科研工作。2002年7月參加貴州工業大學計算機應用專業碩士研究生班課程學習,取得優異成績。2004年7月參加教育部舉辦的暑期計算機科學與技術高級研討班學習,主修《可計算性與計算複雜性》、《密碼學及應用》兩門重要課程。2008年5月貴州大學計算機學院計算機軟件與理論專業博士畢業,獲工學博士學位。
                           主要研究方向:無線與移動網絡、密碼學與信息安全、協議分析與模型檢測、邏輯學及其應用。
                           主持參加國家自然科學基金項目3項、貴州省自然科學基金項目5項、貴州省教育廳自然基金項目3項、貴陽市科技攻關項目2項、校級項目8項。參加國際學術會議12次(擔任Session Chair 6次)、國內學術會議18次,主辦“全國性邏輯系統、智能科學與信息科學學術會議”4屆。發表論文60余篇 (其中核心16篇、SCI收錄1篇、EI收錄12篇、ISTP收錄8篇)。主編出版《Java語言及應用》、《Java程序設計指導》、《邏輯學及其應用研究》著作3部。招收培養計算機、通信、邏輯學專業碩士研究生30余名。
                           主要承擔《計算機網絡與通信》、《信息安全原理與技術》、《面向對象程序設計》、《操作系統》、《人工智能及其應用》、《數理邏輯》、《離散數學》、《邏輯學基礎》等課程的教學工作,同時還擔任計算機及相關專業的生産實習、課程設計、畢業設計等實踐性教學環節的指導工作,指導的畢業設計曾多次獲省、校級優秀畢業設計。2003年獲校優秀教學成果二等獎,2006年榮獲校優秀畢業設計指導特等獎。
                           近期主持完成的科研項目:
                           [1] 基于HECC的群體密碼系統及其應用研究 國家自然基金[2011]61163049號 國家自然科學基金項目 主持 48.0萬
                           [2] 安全協議的行爲時序邏輯驗證與具有公平性約束的部分狀態空間模型檢測 國家自然基金[2011]61163001號 國家自然科學基金項目 參加 36.0萬
                           [3] Ad hoc網絡安全多徑按需式路由協議改進及其應用研究 貴州省自然基金[2011]2011GZ30581號 貴州省自然科學基金項目 主持 6.0萬
                           [4] 分布式密碼系統中的基礎協議與公平性研究 國家自然基金[2009]60963023號 國家自然科學基金項目 參加 22.0萬
                           [5] 新型公平多方交換協議設計及其形式化分析研究 貴大人基合字[2008]005號 貴州大學引進人才科研項目 主持 6.0萬
                           [6] 基于SVO邏輯形式化驗證方法改進及其應用 黔科J字[2005]2110號 貴州省科技基金 主持2.0萬
                           [7] 基于Internet的遠程多媒體教學系統的研究與開發 黔教高發[2000]518號 貴州省教育廳 主持3.0萬
                           [8] 基于J2EE框架結構的電子商務系統開發 2005校企合作 貴州省商貿廳 主持2.0萬
                           [9] 基于橢圓曲線密碼體制門限簽密研究 黔科J字[2005]2107號 貴州省科技基金項目 參加 1.0萬
                           [10] 流氓軟件實時監測防範系統關鍵技術研究及應用實現 2007貴陽市科技攻關項目 參加 5.0萬
                               E-mail: ie.xmwang@gzu.edu.cn xmwang1965@163.com

                        貴州大學 計算機科學與信息學院

                        X-POWER-BY FNC V0.5.2 FROM ZZ44