熊焰

1992-1994年任科大計算機系副主任。

1995-1997年赴美UMKC大學計算機科學與通信學院做博士后研究。

現任計算機網路與信息安全研究室主任。

2021年12月11日，在合肥工業大學計算機與信息學院翡翠科教樓A座第七會議室為全院師生做了題為“網路安全協議通用全自動形式化驗證系統SmartVerif”的學術報告。

研究領域

計算機網路與信息安全、移動計算與移動網路、分散式處理等。

主要論著

1.熊焰、楊衍明，“網際互連信關的設計與實現”，計算機學報，1988，11（3）：146-152。

2.Xiong Yan,"Design of an Experimental Computer LAN Interconnection in University Environment",Computer Networks,1988,15(5):369-373.

3.Xiong Yan and Chen Guolian,"Inter-network Connection of Two Local Area Networks C-Net and Omninet",Computer Networks,1989,16(5):405-414.

4.陳國良、熊焰、顧乃傑，“面嚮應用的神經處理系統”，計算機研究與發展，1996，33（12）：887-892。

5.Shen Xiaojun and Xiong Yan,"Topological Equivalent Classes for Regular MINs of Arbitray Stages",Parallel and Distributed Systems & Networks,1998,1(3):136-142.

6.邵晨曦、胡香冬、熊焰等，“密碼協議的SPIN建模和驗證”，電子學報，2002,30(12A):2099-2101。

7.華蓓、熊焰等，“基於3GPP2框架的無線移動網路的RSVP擴展研究”，電子學報，2002,30(12A):2111-2114。

8.顧乃傑、李棟、熊焰等，“無阻塞Clos-Type網上的多源點多播”，計算機研究與發展，2002，39（3）：354-359。

9.熊焰、苗付友等，“移動自組網中基於多跳步加密簽名函數簽名的分散式認證”，電子學報，2003，31（2）：161-165。

10.Xiong Yan, Miao Fuyou, Hua Bei, et al, "Internet Connection of A Broadband Wireless IP Network Based on A Fast Mobile IP With Link Layer Support",Chinese Journal of Electronics,Vol.12,No.3,pp426-430 .

11.華蓓、熊焰，“無線移動網路的綜合服務模型與資源預留研究”，電子學報，2003，31（4）：49-53。

12.熊焰、苗付友等，“一種Mobile Ad hoc網路鏈路狀態分組路由演演算法”，電子學報，2003,31(5),645-648。

13.熊焰、萬睿雲。華蓓等，“移動自組網基於動態蜂窩的QoS路由協議”，電子學報，2003,31(8),1125-1129。

14.熊焰、王冬華、苗付友等，“移動計算中基於橢圓曲線的匿名簽名演演算法”，電子學報，2003,31(11),1651-1654。

15.Yan Xiong,Chen Huanhuan and Miao Fuyou,"Quantum Mobile Crypto-Computation",Chinese Journal of Electronics,to be published.

16.陳歡歡、熊焰、苗付友，“一種解決組合優化問題的量子遺傳演演算法QGA”，電子學報，已錄用。

科研項目

曾作為技術骨幹參加了兩項國家863項目，並獲得國家教委科技進步三等獎和安徽省科技進步二等獎各一項。至今已在國際雜誌上發表論文三篇，國內外核心刊物上發表論文40多篇。主持的項目有安徽省自然科學基金、安徽省“十五”重大科技專項、國家軍口863重大專項分課題、國家863重大項目分課題、國家863項目、中科院重大專項分課題以及中科院國防創新基金等。

國際計算機學會ACM中國區合肥分會（即安徽地區）主席、國家自然科學基金委計算機學科評審組會評專家、國家科技部科技進步獎計算機與自動化學科組會評專家、電子學報常務編委、中國通信學會通信軟體專家委員會委員、安徽省雲計算產業促進會會長、安徽省網路安全與信息化專家組成員。