李舟军 Li Zhoujun

职 称
教授
学 历
博士

电 话

办公室
新主楼G930

系 别
网络空间安全学院
职 务

电子信箱
lizj@buaa.edu.cn
传 真


个人主页

u 学习经历

§ 1984年毕业于武汉大学计算机系，获学士学位
§ 1986年毕业于国防科技大学计算机系，后获硕士学位
§ 1999年毕业于国防科技大学计算机学院，获博士学位

u 工作经历

§ 1986.7-1989.12，国防科技大学计算机系，助教
§ 1989.12-1994.12，国防科技大学计算机系，讲师
§ 1994.12-2001.12，国防科技大学计算机学院，副教授
§ 2001.12-2005.8，国防科技大学计算机学院，教授
§ 2002.5-2005.8，国防科技大学计算机学院，博士生导师
§ 2005.9-至今，北京航空航天大学计算机学院，教授，博士生导师

u 研究领域

数据挖掘，人工智能与深度学习，自然语言处理与人机对话，网络与信息安全

u 荣誉及奖励

1993年获国防科工委科技成果三等奖
1994年获国防科工委科技成果二等奖
1995年获国防科工委优秀教学成果三等奖
1996年研究生教材《数理逻辑》获第三届全国工科电子类专业优秀教材二等奖
2000 年获中创软件人才奖
2001年获国防科技大学和湖南省优秀博士学位论文
2003年获军队院校育才银奖
2004年获全国优秀博士学位论文提名
2010年获32届欧洲信息检索大会（ECIR2010）最佳论文奖（The Best Paper Award）
2017年获人工智能公司AdeptMind终生成就奖（the Lifetime Achievement Award）
2017年获北京市科学技术奖二等奖。


u 开授课程

主讲离散数学，抽象代数，形式语言，信息安全数学基础

u 教学及科研成果

出版教材与专著：
1. 李舟军，传值CCS和π-演算互模拟等价的验证理论和算法（国防科学技术大学全国优秀博士学位论文丛书），国防科技大学出版社，2005年，ISBN：20。
2. 王兵山，张强，李舟军，数理逻辑（研究生教材），1993年，ISBN：7-81024-276-8。
3. 王兵山，李舟军，抽象代数（本科生教材），国防科技大学出版社出版年: 2001年，ISBN:02。

代表性论文：
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. 李舟军，陈火旺，王兵山：π-演算符号迁移图和其早互模拟验证算法，中国科学E辑:技术科学，29卷（4期），1999

u 学术与社会服务

§国务院学位委员会网络空间安全学科评议组成员
§中国网络空间安全协会常务理事
§中国网络空间安全协会竞评演练工作委员会副主任委员
§《信息安全学报》第一届编委会责任编委
§网络空间安全战略预警与决策支撑工信部重点实验室学术委员会委员
§工业控制系统网络安全应急技术工信部重点实验室学术委员会委员
§中国科学院大学网络空间安全学院学术委员会委员
§北京市海量语言信息处理与云计算应用工程技术研究中心技术委员会委员
§广东省网络空间内容安全工程技术研究中心学术委员会主任
§腾讯信息安全TCTF导师
§ IEEE、ACM、AAAI会员，中国计算机学会高级会员

u 科研项目

1. 自然科学基金联合基金重点支持项目（U**），面向大数据的国际主题事件推演与风险预警研究，2017/01-2020/12，直接费用253万，在研，主持。
2. 自然科学基金面上项目(**)，社区问答系统关键技术研究，2017/01-2020/12，直接费用63万，在研，主持。
3. 自然科学基金面上项目(**)，社交网络中热点话题检测与传播分析研究，20 14/01-2017/12，经费78万，已结题，主持。
4. 自然科学基金面上项目(**)，基于面向话题的加权社会网络的个性化推荐及检索技术研究，2012/01-2015/12，经费58万，已结题，主持。
5. 国家自然科学基金项目(**)，可证安全的高效新型密钥协商协议研究，2010 /01-2012/12，经费29万，已结题，主持。
6. 国家自然科学基金项目(**)，面向性质的可信软件建模与时序性质验证及支持工具，2008/01-2010/12，经费50万，已结题，主持。
7. 国家自然科学基金项目(**)，基于进程代数的复杂安全协议的形式化分析与验证，2005/01-2007/12，经费23万，已结题，主持。
8. 国家自然科学基金项目(**)，π-演算和传值CCS开互模拟的语义理论及其公理化研究，2001/01-2003/12，经费14万，已结题，主持。
9. 博士点基金重点项目(优先发展领域) (003)：云计算环境中数据安全关键技术研究，2012/01-2014/12，40万，已结题，主持。
10. 中国信息安全测评中心重点项目：静态分析XXXX技术研究，2011.1-2012.6，200万，已结题，主持。