首页 >> 师资力量 >> 全体教工 >> 正高(教授等) >> 正文

李舟军

作者:       发布: 2019-06-15      来源:

打印

李舟军  Li  Zhoujun

 

教授

     

博士

     

010-82338247

 

新主楼G930

     

网络空间安全学院

     

电子信箱

lizj@buaa.edu.cn

     

010-82338247

个人主页

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年,ISBN9787810991520

2.       王兵山,张强,李舟军,数理逻辑(研究生教材),1993年,ISBN7-81024-276-8

3.       王兵山,李舟军,抽象代数(本科生教材),国防科技大学出版社出版年:  2001年,ISBN:9787810247702

 

代表性论文:

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-3141998

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百人计划导师 

§  IEEEACMAAAI会员,中国计算机学会高级会员

u  科研项目

1.       自然科学基金联合基金重点支持项目(U1636211),面向大数据的国际主题事件推演与风险预警研究,2017/01-2020/12,直接费用253万,在研,主持。

2.       自然科学基金面上项目(61672081),社区问答系统关键技术研究,2017/01-2020/12,直接费用63万,在研,主持。

3.       自然科学基金面上项目(61370126),社交网络中热点话题检测与传播分析研究,20  14/01-2017/12,经费78万,已结题,主持。

4.       自然科学基金面上项目(61170189),基于面向话题的加权社会网络的个性化推荐及检索技术研究,2012/01-2015/12,经费58万,已结题,主持。

5.       国家自然科学基金项目(60973105),可证安全的高效新型密钥协商协议研究,2010  /01-2012/12,经费29万,已结题,主持。

6.       国家自然科学基金项目(90718017),面向性质的可信软件建模与时序性质验证及支持工具,2008/01-2010/12,经费50万,已结题,主持。

7.       国家自然科学基金项目(60473057),基于进程代数的复杂安全协议的形式化分析与验证,2005/01-2007/12,经费23万,已结题,主持。

8.       国家自然科学基金项目(60073001)π-演算和传值CCS开互模拟的语义理论及其公理化研究,2001/01-2003/12,经费14万,已结题,主持。

9.       博士点基金重点项目(优先发展领域)  (20111102130003):云计算环境中数据安全关键技术研究,2012/01-2014/1240万,已结题,主持。

10.   中国信息安全测评中心重点项目:静态分析XXXX技术研究,2011.1-2012.6200,已结题,主持。