向劍文，男，出生於1975年3月，博士，武漢理工大學計算機科學與技術學院教授。
基本介紹
- 中文名：向劍文
- 出生日期：1975年3月
- 畢業院校：武漢大學
- 學位/學歷：博士
- 職業：教師
- 專業方向：計算機軟體與理論
人物經歷,工作經歷,教育背景,研究方向,學術成果,科研項目,代表著作,代表論文,發明專利,學術活動,講授課程,
人物經歷
工作經歷
· 武漢理工大學計算機科學與技術學院教授委員會主席 (2015-)
· 武漢理工大學計算機科學與技術學院教授 (2014-)
· 日本九州大學客座教授(2017-)
· 工業控制系統安全與可靠測評共性技術工業和信息化部重點實驗室學術委員會委員 (2018-2023)
· 武漢·中國光谷信息與網路空間安全產業技術創新聯盟副理事長 (2018-)
· 武漢計算機與軟體工程學會副秘書長(2018-)
· 日本NEC公司中央研究所，主任 (2008-2014)
· 日本產業技術總合研究所，特別研究員 (2007-2008)
· 日本北陸先端科學技術大學院大學，博士後研究員(2005-2007)
教育背景
· 1997-2000，武漢大學，計算機軟體與理論專業，碩士
· 2000-2004，武漢大學，計算機軟體與理論專業，工學博士
· 2002-2005，日本北陸先端科學技術大學院大學（JAIST），情報科學專業，工學博士
研究方向
· 可信計算，形式化方法，信息安全，知識管理等
學術成果
科研項目
1. 國家自然科學基金，動態與不完全覆蓋容錯系統可靠性建模、分析與最佳化關鍵技術研究，2017-2020，主持；
2. 國家自然科學基金，基於負資料庫虹膜模板數據保護，2018-2020，參與；
3. 國家科技支撐計畫，國家網路信息安全實驗平台子系統——攻擊路徑及協定分析系統，2015-2017，主持；
4. 國防基礎科研計畫，JCKY2018110C165，2019-2020，參與；
5. 國家計算機網路與信息安全中心，固件深度分析平台軟體升級（三期），2018-2019，主持；
6. 工信部電子五所，國產作業系統可靠性測試系統，2019-2020，主持；
7. 中國軟體測評中心，工控系統主動式攻擊路徑分析工具，參與；
8. 湖北省創新群體項目，2017-2019，主持；
9. 湖北省自然科學基金重點項目，物聯網系統安全可靠性建模與分析技術研究，2015-2017，主持；
10. 武漢市套用基礎研究計畫，基於雲平台的大規模固件安全分析關鍵技術研究，2016-2018，主持。
代表著作
出版編著1本，譯著3本。
代表論文
在IEEE Trans. on Reliability與ISSRE等國際權威期刊和會議上發表學術論文約70餘篇，多次獲國際會議最佳論文獎。
發明專利
申請美國、日本、中 國PCT國際專利30餘項，其中美國授權4項，日本授權8項
學術活動
· IEEE，CCF，IEICE會員，ICE高級會員
· ISSRE 2019程式管理員兼程式委員會委員， 2018研討會主席兼程式委員會委員
· PRDC 2019程式委員會委員
· QEST 2018宣傳主席
· LADC 2018程式委員會委員
· WoSAR 2018大會主席，2017程式委員會主席
· DSA 2018程式委員會主席，2017執行主席，DCIT 2015程式委員會主席
· SEKM 2015-2018程式委員會主席
· Journal of Information Security and Applictions（JISA，Springer）的客座主編（2016）
· IEEE Trans. on Reliability, Reliability Engineering and System Safety, ACM Trans. on Software Engineering and Methodology, Journal of Systems and Software, IEICE Trans.等期刊審稿專家
講授課程
· 知識工程與知識管理
· 可靠性工程導論
可信計算
