姓名: 李舟军
性别: 男
出生年份: 1963
职称: 教授
院系: 计算机学院
首次聘任导师时间: 2005
现聘任导师一级学科名称: 计算机科学与技术
现聘任导师二级学科名称: 计算机软件与理论
聘任在第二学科培养博士生专业名称: 无
主要研究方向及特色: 高可信软件理论和技术,网络与信息安全技术,数据挖掘与生物信息学,web服务、语义web与P2P计算
电子信箱: zhoujun.li@263.net,lizj@buaa.edu.cn
办公电话: 82338247
办公地点:
通信地址: 北京西城区新文化街32号楼234室
个人简介:
李舟军,男,1963年9月生,湖南湘乡人,汉族,中共党员。1984年毕业于武汉大学计算机系,1986年研究生毕业于国防科技大学计算机系,并留校任教。1999年在国防科技大学计算机学院获博士学位。1989年任讲师,1994年任副教授,2001年任教授,2002年任博士生导师。2005年从国防科技大学转业,分配到北京航空航天大学计算机学院。现任北京航空航天大学计算机学院教授、博士生导师。
欧洲理论计算机科学学会(EATCS)会员,中国计算机学会高级会员,理论计算机科学专业委员会委员,学术期刊“International Journal of Data Mining and Bioinformatics ” (IJDMB) 编委,ICYCS'2001、BASICS’ 2001、IEEE DMB’ 2006(2006 IEEE ICDM International Workshop on Data Mining in Bioinformatics)、IEEE DMIR’2007 (2007 IEEE International Symposium on Data Mining and Information Retrieval)、BioDM’2007(2007 PAKDD International Workshop on Data Mining for Biomedical Applications)、IEEE BIBM’2007(2007 IEEE International Conference on Bioinformatics and Biomedicine)、IEEE GrC’2007(2007 IEEE International Conference on Granular Computing)等国际会议的程序委员会委员。
长期从事计算机科学理论方面的教学工作,先后主讲了《离散数学》、《抽象代数》、《形式语言》、《形式语义学》和《计算机理论高级专题》等多门本科生、硕士生和博士生课程,指导和培养硕士生和博士生30余人(含在读)。合著和出版《数理逻辑》和《抽象代数》两部研究生和本科生教材,博士学位论文《传值CCS和π-演算互模拟等价的验证理论和算法》2005年被国防科技大学出版社作为“优秀博士学位论文丛书”之一出版发行。先后承担或主持多个国家自然科学基金和国家863计划课题,在进程代数理论、软件形式化开发方法、安全协议形式化分析与验证技术、数据挖掘技术等方面取得重要研究成果,一些重要工作被国内外同行所引用。2000年获国内计算机软件界具重要影响的“中创软件人才奖”,2003年获军队院校育才银奖,2004年获全国优秀博士学位论文提名。设计并实现了一个π-演算的定理证明器PiM,设计和实现了一个基于进程代数和逻辑程序的安全协议验证工具原型SPVT。
已发表的主要论文目录:
1.李舟军,陈火旺,王兵山。π-演算的符号迁移图及其早互模拟验证算法,《中国科学》(E辑),29(4):361-371, 1999。
2.Li Zhoujun, Chen Huowang and Wang Bingshan. Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus, SCIENCE IN CHINA (Series E), 42 (4): 342-353, 1999。
3.Li Zhoujun and Chen Huowang. Checking strong/weak bisimulation equivalences and observation congruence for the π-calculus. Proceedings of ICALP’98, Lecture Notes in Computer Science, Vol. 1443: 707-718, Spring-Verlag, 1998.
4.Li Zhoujun and Chen Huowang. Computing strong/weak bisimulation equivalences and observation congruence for value-passing processes. Proceedings of TACAS’ 99, Lecture Notes in Computer Science, Vol. 1579: 300-314, Spring-Verlag, 1998.
5. Li Zhoujun and Chen Huowang. Semantic theory and proof system of open bisimulation for the π-calculus with mismatching, In Domains and Processes(Proceedings of the 1st ISDT, Shanghai, October 1999),219-244,Kluwer Academic Publishers, Boston, 2001.
6.Li Zhoujun and Chen Huowang. Open bisimulation for value-passing calculi, Proceedings of Conference on Software: Theory and Practice(16st World Computer Congress’ 2000), 电子工业出版社, Beijing, August 2000.
7.李舟军,陈火旺,钟广军,王兵山。STGA的变种及其互模拟验证, 《计算机学报》, 23(4): 345-355, 2000。
8.Li Zhoujun and Chen Huowang. Checking weak bisimulation and observation congruence for symbolic transition graph, Proceedings of ICYCS'2001, 2001.
9. Du Xutao and Li Zhoujun. A Proof Assistant for Mobile Processes,Proceedings of APPT’2003, Lecture Notes in Computer Science, Vol. 2834: 204-214, Spring-Verlag, 2003.
10.颜跃进, 李舟军, 陈火旺. Fast Mining Maximal Frequent ItemSets Based on Fp-tree. In Proceedings of the 23rd International Conference on Conceptual Modeling (ER2004), Shanghai, China, November 8, 2004.
11.颜跃进, 李舟军, 陈火旺. Mining Maximal Frequent ItemSets Using Combined FP-Tree. In Proceedings of the 17th Australian Computer Society (ACS) Australian Joint Conference on Artificial Intelligence (AI'2004), Cairns, Australia, December 6-10, 2004.
12. 张丽娟,李舟军,陈火旺,An Effective Gene Selection Method Based on Relevance Analysis and Discernibility Matrix,PAKDD’2007, Nanjing,China,已录用。
13. 张丽娟,李舟军,陈火旺,Handling Gene Redundancy in Microarray Data Using Grey Relational Analysis,International Journal of Data Mining and Bioinformatics,已录用。
14. 张丽娟,李舟军,陈火旺,文健, Minimum Redundancy Gene Selection Based on Grey Relational Analysis, ICDM’2006 Workshop on Data Mining in Bioinformatics, HongKong, China, December 18-22, 2006
15. 张丽娟,李舟军 Gene Selection for Classifying Microarray Data using Grey Relational Analysis, Discovery Science 2006 (DS’2006), Barcelona, Spain, on 7-10 October 2006
16. 张丽娟,李舟军,A Novel Rough Set Approach for Classification,IEEE conference for granular computing 2006 (GrC’2006),GSU,Atlanta,USA,May 10-12,2006。
17. 文健,李舟军,张丽娟,陈火旺,胡小华,A New Method of Cluster-based Topic Language Model for Genomic IR, The IEEE 21st International Conference on Advanced Information Networking and Applications(AINA07), workshop for data mining and information retrieval (DMIR07) , Niagara Falls, Canada, May 21-23, 2007, 已录用。
18. 王涛,李舟军,颜跃进,陈火旺, A New Decision Tree Classification Method for Mining High-Speed Data Streams Based on Threaded Binary Search Trees, 2007 International Workshop on High Performance Data Mining and Applications (HPDMA'07), Nanjing, 2007, 已录用。
19. 王涛,李舟军,颜跃进,陈火旺. An Efficient Classification System Based on Binary Search Trees for Data Streams_Mining, ICONS’2007, France, 已录用。
20. 王涛,李舟军,颜跃进,陈火旺. A Survey of Fuzzy Decision Trees Methodology, ICFIE’2007, Guangzhou, China. 已录用。
21. 陈小明, 李舟军, Yongzhen Zhuang, Jinsong Han, Lei Chen. HAND: An Overlay Optimization Algorithm in Peer-to-peer Systems, Proceedings of HPCC' 2006,Munich,Germany,September 13-15, 2006.
22. Bo Chen, Zhoujun Li, HuoWang Chen, Supporting Connector in Programming Language,SEKE’06
23. Bo Chen, Zhoujun Li, HuoWang Chen, A New Component-Oriented Programming Language with First-Class Connector. JMLC’2006.
24. 颜跃进, 李舟军, 陈火旺. 基于FP-Tree有效挖掘最大频繁项集. 软件学报. 2005(2):134-152.
25.颜跃进, 李舟军, 陈火旺. 一种挖掘最大频繁项集的深度优先算法. 计算机研究与发展. 2005(3):134-152.
26.李梦君, 李舟军, 陈火旺.基于进程代数安全协议验证的研究综述。 计算机研究与发展,2004,No 6.
27.李梦君, 李舟军, 陈火旺. 基于逻辑程序的安全协议验证。计算机学报,2004,27(10):1361-1368。
28.李梦君, 李舟军, 陈火旺, SPVT:一个有效的安全协议验证工具,软件学报,2006,17(4),898-906。
29. 李梦君, 李舟军, 陈火旺, 安全协议的扩展Horn逻辑模型及其验证方法研究, 《计算机学报》信息安全专辑,2006
30. Wang Bingshan, Li Zhoujun and Chen Huowang. Universal abstract consistency class and universal refutation, Journal of Computer Science and Technology, 14 (2): 165-172, 1999.
31.杜旭涛,李舟军,使用π-演算验证网络AB协议,2003中国计算机大会,北京,2003。
32.张丽娟,李舟军,分类方法的新发展:研究综述,《计算机科学》,2006
33.张艳,李强,李舟军,何德全,一种维护远程备份系统的优化O2-safe方法,四川大学学报(工程科学版),2006,38(2),118-124。