簡(jiǎn)介
湖南湘鄉(xiāng)人，漢族，中共黨員。
人物經(jīng)歷
1984年，李舟軍畢業(yè)于武漢大學(xué)計(jì)算機(jī)系，獲得學(xué)士學(xué)位，1986年研究生畢業(yè)于于國(guó)防科技大學(xué)計(jì)算機(jī)系，并留校助教，1989年任講師，1994年任副教授，2001年任教授，2002年任博士生導(dǎo)師。2005年9月從國(guó)防科技大學(xué)計(jì)算機(jī)學(xué)院轉(zhuǎn)業(yè)到北京航空航天大學(xué)計(jì)算機(jī)學(xué)院任教。主講離散數(shù)學(xué)，抽象代數(shù)，形式語(yǔ)言，信息安全數(shù)學(xué)基礎(chǔ)。
此外，李舟軍還是國(guó)務(wù)院學(xué)位委員會(huì)網(wǎng)絡(luò)空間安全學(xué)科評(píng)議組成員 、中國(guó)網(wǎng)絡(luò)空間安全協(xié)會(huì)常務(wù)理事 、中國(guó)網(wǎng)絡(luò)空間安全協(xié)會(huì)競(jìng)評(píng)演練工作委員會(huì)副主任委員 、《信息安全學(xué)報(bào)》第一屆編委會(huì)責(zé)任編委、網(wǎng)絡(luò)空間安全戰(zhàn)略預(yù)警與決策支撐工信部重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)委員 、工業(yè)控制系統(tǒng)網(wǎng)絡(luò)安全應(yīng)急技術(shù)工信部重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會(huì)委員 、中國(guó)科學(xué)院大學(xué)網(wǎng)絡(luò)空間安全學(xué)院學(xué)術(shù)委員會(huì)委員 、北京市海量語(yǔ)言信息處理與云計(jì)算應(yīng)用工程技術(shù)研究中心技術(shù)委員會(huì)委員 、廣東省網(wǎng)絡(luò)空間內(nèi)容安全工程技術(shù)研究中心學(xué)術(shù)委員會(huì)主任 、騰訊信息安全TCTF百人計(jì)劃導(dǎo)師 、IEEE、ACM、AAAI會(huì)員，中國(guó)計(jì)算機(jī)學(xué)會(huì)高級(jí)會(huì)員。
主要作品
出版教材與專著
| 時(shí)間 | 名稱 | 出版社 | 相關(guān)人員 |
| 1993年 | 數(shù)理邏輯（研究生教材） | 王兵山，張強(qiáng)，李舟軍 | |
| 2001年 | 抽象代數(shù)（本科生教材） | 國(guó)防科技大學(xué)出版社 | 王兵山，李舟軍 |
| 2005年 | 傳值CCS和π-演算互模擬等價(jià)的驗(yàn)證理論和算法（國(guó)防科學(xué)技術(shù)大學(xué)全國(guó)優(yōu)秀博士學(xué)位論文叢書(shū)） | 國(guó)防科技大學(xué)出版社 | 李舟軍 |
代表性論文
1. Yu Wu, Wei Wu, Chen Xing, Can Xu, Zhoujun Li, Ming Zhou: A Sequential Matching Framework for Multi-Turn Response Selection in Retrieval-Based Chatbots. Computational Linguistics 45(1): 163-197 (2019)
2. Feiran Huang, Xiaoming Zhang, Zhonghua Zhao, Zhoujun Li: Bi-Directional Spatial-Semantic Attention Networks for Image-Text Matching. IEEE Trans. Image Processing 28(4): 2008-2020 (2019)
3. Yanqing Yao, Zhoujun Li: Differential Privacy With Bias-Control Limited Sources. IEEE Trans. Information Forensics and Security 13(5): 1230-1241 (2018)
4. Xiaoming Zhang, Senzhang Wang, Zhoujun Li, Shuai Ma: Landmark Image Retrieval by Jointing Feature Refinement and Multimodal Classifier Learning. IEEE Trans. Cybernetics 48(6): 1682-1695 (2018)
5. Hua Guo, Yandong Zheng, Xiong Li, Zhoujun Li, Chunhe Xia: Self-healing group key distribution protocol in wireless sensor networks for secure IoT communications. Future Generation Comp.Syst.89: 713-721 (2018)
6. Yu Wu, Wei Wu, Can Xu, Zhoujun Li: Knowledge Enhanced Hybrid Neural Network for Text Matching. AAAI 2018: 5586-5593
7. Yu Wu, Wei Wu, Dejian Yang, Can Xu, Zhoujun Li:Neural Response GenerationWith Dynamic Vocabularies. AAAI 2018: 5594-5601
8. Zhao Yan, Duyu Tang, Nan Duan, Shujie Liu, Wendi Wang, Daxin Jiang, Ming Zhou, Zhoujun Li: Assertion-Based QA With Question-Aware Open Information Extraction. AAAI 2018: 6021-6028
9. Yu Wu, Wei Wu, Zhoujun Li, Ming Zhou: Learning Matching Models with Weak Supervision for Response Selection in Retrieval-based Chatbots. ACL (2) 2018: 420-425
10.Jun Chen, Xiaoming Zhang, Yu Wu, Zhao Yan, Zhoujun Li: Keyphrase Generation with Correlation Constraints. EMNLP 2018: 4057-4066
11.Dongdong Yang, Senzhang Wang, Zhoujun Li: Ensemble Neural Relation Extraction with Adaptive Boosting. IJCAI 2018: 4532-4538
12.Feiran Huang, Xiaoming Zhang, Zhoujun Li:Learning Joint Multimodal Representation with Adversarial Attention Networks. ACM Multimedia 2018: 1874-1882
13.Senzhang Wang, Xiaoming Zhang, Jianping Cao, Lifang He, Leon Stenneth, Philip S. Yu, Zhoujun Li, Zhiqiu Huang: Computing Urban Traffic Congestions by Incorporating Sparse GPS Probe Data and Social Media Data. ACM Trans. Inf. Syst. 35(4): 40:1-40:30 (2017)
14.Zhao Yan, Nan Duan, Peng Chen, Ming Zhou, Jianshe Zhou, Zhoujun Li: Building Task-Oriented Dialogue Systems for Online Shopping. AAAI 2017: 4618-4626
15.Yu Wu, Wei Wu, Chen Xing, Ming Zhou, Zhoujun Li: Sequential Matching Network: A New Architecture for Multi-turn Response Selection in Retrieval-Based Chatbots. ACL (1) 2017: 496-505
16.Hai Ye, Wenhan Chao, Zhunchen Luo, Zhoujun Li: Jointly Extracting Relations with Class Ties via Effective Deep Ranking. ACL (1) 2017: 1810-1820
17.Zhangkai Zhang, Xuhua Ding, Gene Tsudik, Jinhua Cui, Zhoujun Li: Presence Attestation: The Missing Link in Dynamic Trust Bootstrapping. ACM Conference on Computer and Communications Security 2017: 89-102
18.Xiaoming Zhang, Shufan Ji, Senzhang Wang, Zhoujun Li, Xueqiang Lv: Geographical Topics Learning of Geo-Tagged Social Images. IEEE Trans. Cybernetics 46(3): 744-755 (2016)
19.Senzhang Wang, Sihong Xie, Xiaoming Zhang, Zhoujun Li, Philip S. Yu, Yueying He: Coranking the Future Influence of Multiobjects in Bibliographic Network Through Mutual Reinforcement. ACM TIST 7(4): 64:1-64:28 (2016)
20.Yu Wu, Wei Wu, Zhoujun Li, Ming Zhou: Improving Recommendation of Tail Tags for Questions in Community Question Answering. AAAI 2016: 3066-3072
21.Hao Zheng, Zhoujun Li, Senzhang Wang, Zhao Yan, Jianshe Zhou: Aggregating Inter-Sentence Information to Enhance Relation Extraction. AAAI 2016: 3108-3115
22.Zhao Yan, Nan Duan, Jun-Wei Bao, Peng Chen, Ming Zhou, Zhoujun Li, Jianshe Zhou: DocChat: An Information Retrieval Approach for Chatbot Engines Using Unstructured Documents. ACL (1) 2016
23.Kai Zhang, Wei Wu, Fang Wang, Ming Zhou, Zhoujun Li: Learning Distributed Representations of Data in Community Question Answering for Question Retrieval. WSDM 2016: 533-542
24.Senzhang Wang, Zhao Yan, Xia Hu, Philip S. Yu, Zhoujun Li: Burst Time Prediction in Cascades. AAAI 2015: 325-331
25.Yu Wu, Wei Wu, Zhoujun Li, Ming Zhou:Mining Query Subtopics from Questions in Community Question Answering. AAAI 2015: 339-345
26.Xiaoming Zhang, Xia Hu, Zhoujun Li: Learning Geographical Hierarchy Features for Social Image Location Prediction. IJCAI 2015: 2401-2407
27.Jun-Ping Ng, Yan Chen, Min-Yen Kan, Zhoujun Li: Exploiting Timelines to Enhance Multi-document Summarization. ACL (1) 2014: 923-933
28.Kai Zhang, Wei Wu, Haocheng Wu, Zhoujun Li, Ming Zhou: Question Retrieval with High Quality Answers in Community Question Answering. CIKM 2014:371-380
29.Senzhang Wang, Xia Hu, Philip S. Yu, Zhoujun Li: MMRate: inferring multi-aspect diffusion networks with multi-pattern cascades. KDD 2014: 1246-1255
30.Xiaoshi Yin, Jimmy Xiangji Huang, Zhoujun Li, Xiaofeng Zhou: A Survival Modeling Approach to Biomedical Search Result Diversification Using Wikipedia. IEEE Trans. Knowl. Data Eng. 25(6): 1201-1212 (2013)
31.Shasha Li, Chin-Yew Lin, Young-In Song, Zhoujun Li: Comparable Entity Mining from Comparative Questions. IEEE Trans. Knowl. Data Eng. 25(7): 1498-1509 (2013)
32.Yan Chen, Jichang Zhao, Xia Hu, Xiaoming Zhang, Zhoujun Li, Tat-Seng Chua: From Interest to Function: Location Estimation in Social Media. AAAI 2013
33.Yan Chen, Hadi Amiri, Zhoujun Li, Tat-Seng Chua: Emerging topic detection for organizations from microblogs. SIGIR 2013: 43-52
34.Jie Yu, Liming Lu, Peng Xiao, Zhoujun Li, Yuan Zhou: Monitoring,analyzing and characterizing lookup traffic in a large-scale DHT. Computer Communications 34(13): 1622-1629 (2011)
35.Xiaojian Zhao, Guangda Li, Meng Wang, Jin Yuan, Zheng-Jun Zha, Zhoujun Li, Tat-Seng Chua: Integrating rich information for video recommendation with multi-task rank aggregation. ACM Multimedia 2011: 1521-1524
36.Shasha Li, Chin-Yew Lin, Young-In Song, Zhoujun Li: Comparable Entity Mining from Comparative Questions. ACL 2010: 650-658
37.Xiaoshi Yin, Xiangji Huang, Zhoujun Li: Promoting Ranking Diversity for Biomedical Information Retrieval Using Wikipedia. ECIR 2010:495-507
38.Caimei Lu, Xiaohua Hu, Xin Chen, Jung-ran Park, Tingting He, Zhoujun Li: The topic-perspective model for social tagging systems.KDD 2010:683-692
39.Hua Guo, Zhoujun Li, Yi Mu, Xiyong Zhang: Cryptanalysis of simple three-party key exchange protocol. Computers & Security 27(1-2): 16-21 (2008)
40.Ti Zhou, Mengjun Li, Zhoujun Li: Local abstract verification and refinement of security protocols. FMSE 2008: 21-30
41.Mengjun Li, Ti Zhou, Zhoujun Li: SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. Inscrypt 2008: 125-140
42.Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen: An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming. ASIAN 2007: 166-180
43.Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen: Constraints Solution for Time Sensitive Security Protocols. FAW 2007: 191-203
44.Xutao Du, Zhoujun Li: A Proof Assistant for Mobile Processes. APPT 2003: 204-214
45.Bingshan Wang, Zhoujun Li, Huowang Chen: Universal abstract consistency class and universal refutation. J.Comput.Sci.Technol. 14(2): 165-172 (1999)
46.Zhoujun Li, Huowang Chen: Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. TACAS 1999: 300-314，1998
47.Zhoujun Li, Huowang Chen: Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ICALP 1998: 707-718
48.李舟軍，陳火旺，王兵山：π-演算符號(hào)遷移圖和其早互模擬驗(yàn)證算法，中國(guó)科學(xué)E輯:技術(shù)科學(xué)，29卷（4期），1999
科研項(xiàng)目
| 項(xiàng)目類型 | 項(xiàng)目序號(hào) | 項(xiàng)目名稱 | 時(shí)間 | 職務(wù) |
| 自然科學(xué)基金聯(lián)合基金重點(diǎn)支持項(xiàng)目 | U1636211 | 面向大數(shù)據(jù)的國(guó)際主題事件推演與風(fēng)險(xiǎn)預(yù)警研究 | 2017/01-2020/12 | 主持 |
| 國(guó)家自然科學(xué)基金項(xiàng)目 | 60973105 | 可證安全的高效新型密鑰協(xié)商協(xié)議研究 | 2010 /01-2012/12 | 主持 |
| 90718017 | 面向性質(zhì)的可信軟件建模與時(shí)序性質(zhì)驗(yàn)證及支持工具 | 2008/01-2010/12 | 主持 | |
| 60473057 | 基于進(jìn)程代數(shù)的復(fù)雜安全協(xié)議的形式化分析與驗(yàn)證 | 2005/01-2007/12 | 主持 | |
| 60073001 | π-演算和傳值CCS開(kāi)互模擬的語(yǔ)義理論及其公理化研究 | 2001/01-2003/12 | 主持 | |
| 自然科學(xué)基金面上項(xiàng)目 | 61672081 | 社區(qū)問(wèn)答系統(tǒng)關(guān)鍵技術(shù)研究 | 2017/01-2020/12 | 主持 |
| 61370126 | 社交網(wǎng)絡(luò)中熱點(diǎn)話題檢測(cè)與傳播分析研究 | 2014/01-2017/12 | 主持 | |
| 61170189 | 基于面向話題的加權(quán)社會(huì)網(wǎng)絡(luò)的個(gè)性化推薦及檢索技術(shù)研究 | 2012/01-2015/12 | 主持 | |
| 博士點(diǎn)基金重點(diǎn)項(xiàng)目(優(yōu)先發(fā)展領(lǐng)域) | 20111102130003 | 云計(jì)算環(huán)境中數(shù)據(jù)安全關(guān)鍵技術(shù)研究 | 20111102130003 | 主持 |
| 中國(guó)信息安全測(cè)評(píng)中心重點(diǎn)項(xiàng)目 | / | 靜態(tài)分析XXXX技術(shù)研究 | 2011.1-2012.6 | 主持 |
以上信息參考資料來(lái)源于
榮譽(yù)記錄
| 時(shí)間 | 類型 | 獎(jiǎng)項(xiàng) |
| 2017年 | 北京市科學(xué)技術(shù)獎(jiǎng) | 二等獎(jiǎng) |
| 2017年 | 人工智能公司AdeptMind | 終生成就獎(jiǎng) |
| 2010年 | 32屆歐洲信息檢索大會(huì)（ECIR2010） | 最佳論文獎(jiǎng) |
| 2004年 | 全國(guó)優(yōu)秀博士學(xué)位論文 | 提名 |
| 2003年 | 軍隊(duì)院校育才 | 銀獎(jiǎng) |
| 2001年 | 國(guó)防科技大學(xué)和湖南省優(yōu)秀博士學(xué)位論文 | 獲獎(jiǎng) |
| 2000年 | 中創(chuàng)軟件 | 人才獎(jiǎng) |
| 1995年 | 國(guó)防科工委優(yōu)秀教學(xué)成果 | 三等獎(jiǎng) |
| 1993年 | 國(guó)防科工委科技成果 | 三等獎(jiǎng) |
| 1994年 | 國(guó)防科工委科技成果 | 二等獎(jiǎng) |
