姓名

蒋东辰

性别

所在学院

信息学院

职称

副教授

职务

教师

 

 

招生学科

计算机科学与技术

软件工程

 

办公电话

010-62336702

邮箱

jiangdongchen@bjfu.edu.cn

最后学历

博士研究生

最高学位

博士

入选的“人才”项目

北京市优秀人才

 

 

目前的研究领域

人工智能、自动推理和形式化方法、软件程序可靠性、交互式定理证明、中文自然语言处理等

个人简介:

2006年毕业于北京航空航天大学理学院,获得理学学士学位;2010年至2011年在德国慕尼黑工业大学访问研究;2013年获得北京航空航天大学计算机软件与理论专业工学博士学位。现在北京林业大学信息学院任教。研究工作主要涉及人工智能、自动推理和形式化方法、软件程序可靠性、交互式定理证明、中文自然语言处理等领域,具体研究方向包括:C语言的形式化验证、中文语义分析与信息提取、数学知识推理、安全协议分析、不确定信息推理等。近年来主持北京市青年自然基金项目一项,并参与了多项973计划、国家自然科学基金、北航国家重点实验室开放课题等研究课题,目前主讲信息学院本科生《Unix环境编程》、《数据结构II》、《计算机网络安全》等课程。近年来已在国际学术会议和国际期刊上发表学术论文十余篇,其中SCI论文6篇;获得授权发明专利3项;参与出版教材1部。

近年来发表的学术论文(部分):

1Jie Luo, Yifei Wang, Dongchen Jiang. Rule-Based Hidden Relation Recognition for Large Scale Knowledge Graphs. Pattern Recognition Letters, 2019.

2Dongchen Jiang, Xiaoyu Chen, Xin Yang. A Chinese new word detection approach based on independence testing. 13th International Conference on Artificial Intelligence and Symbolic Computation, 2018.9.16-19, Suzhou.

3Dongchen Jiang, Wei Li. The verification of conversion algorithms between finite automata. Science China Information Sciences, 2018, 61(2):028101.

4Dongchen Jiang, Miao Zhou. A Comparative Study of Insertion Sorting Algorithm Verification. The 2nd Information Technology, Networking, Electronic and Automation Control Conference (ITNEC), Chengdu, 2017.12, 321-325.

5Dongchen Jiang, Wei Li. Revision with Probability. Journal of Symbolic Computation. 2017,  80:87-100

6Dongchen Jiang, Wei Li, Jie Luo, Yihua Lou, Zhengzhong Liao. A Decomposition Based Algorithm for Maximal Contractions. Frontiers of Computer Science, 7(6): 801-811, 2013.

7Dongchen Jiang, Yihua Lou, Yi Jin, Jie Luo, Wei Li. A Representative Model Based Algorithm for Maximal Contractions. Science China: Information Science, 56(1):1-13, 2013.

8Wei Li, Wenqi Huang, Dongchen Jiang, Xianglong Liu. A Heuristic Algorithm for Cube Packing with Time Schedule. Science China: Information Science, 2010, 53(1): 18-29.