薛鋭

已經完成項目:

主持完成省部級項目多項

參加國家重大基礎研究項目（973）(G1999035802)

主持完成國家863 項目(2002AA144050)

主持完成國家自然基金項目（60373048），基金委評定為優秀

主持完成國家自然基金項目(60773029)

項目:

主持國家自然基金（60873260）

參加973項目(2007CB311202)

主持國家863項目(2009AA01Z414)

主持國家歸國留學基金項目

主持國家重點實驗室項目

在Journal of Computer and Technology、 Computer and Security、 International Journal of Network Security、IEE Proceedings Communication 等國際雜誌，電子學報，軟件學報、計算機學報、中國科學等國內重要刊物、國際，國內會議上發表六十餘篇論文。

曾任ISDPE07國際會議聯合主席, 多個國際會議程序委員會委員。任多家雜誌審稿人等等。

1979－1983 北京師範大學數學系學習, 獲學士學位。

1985－1988 北京師範大學數學系學習, 獲碩士學位。

1996－1999 北京師範大學數學系學習, 獲博士學位。

1999－2001 中國科學院軟件所, 博士後。

1983－1985 山西省臨汾師專教師

1988－1996 山西師範大學計算機中心

2001－2002 中科院計算機語言信息工程研究中心

2002－今 中國科學院信息安全國家重點實驗室

1994－1995 德國的Passau 大學訪問學者. 合作導師：Volker Weispfenning

2005－2006 美國的Purdue University 計算機系高級訪問學者. 合作導師：Ninghui Li

2006－2007 美國 UIUC 計算機系高級訪問學者。合作導師：Manoj M. Prabhakaran

薛鋭，林惠民。面向傳值進程的謂詞μ-演算與FO(HML)的完備推演系統. 計算機學報, vol. 25, no. 6, pp. 561-569, 2002.

薛鋭,。有序實數加法理論新的判定過程與多項式譜 (1088) 軟件學報, vol. 12, no. 7, pp. 1088-1092, 2001.

曹天傑，林東岱，薛鋭。基於橢圓曲線的代理多簽名方案的安全性分析. 小型微型計算機系統. 2006 Vol.27 No.5: 798-801, 2006.

瀋海峯，薛鋭，黃河燕。 用串空間分析公平交換協議。小型微型計算機系統。 2006年vol 2（1）：62-68.

瀋海峯，薛鋭。黃河燕， 陳肇雄。 串空間理論擴展. 軟件學報, vol. 16, no. 10, pp. 1784-1789, 2005.

瀋海峯，薛鋭，黃河燕，陳肇雄。 JFK協議的安全性分析 。小型微型計算機系統。 2005年vol 26（10）：1681-1686.

2018年9月，獲中國互聯網發展基金會，2018年“網絡安全優秀教師獎” ^[3]