所在学院

信息学院

职称

副教授

职务

教师

招生学科

计算机科学与技术

软件工程

办公电话

010-62336702

邮箱

jiangdongchen@bjfu.edu.cn

最后学历

博士研究生

最高学位

博士

入选的“人才”项目

北京市优秀人才

目前的研究领域

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

个人简介：

2006年毕业于北京航空航天大学理学院，获得理学学士学位；2010年至2011年在德国慕尼黑工业大学访问研究；2013年获得北京航空航天大学计算机软件与理论专业工学博士学位。现在北京林业大学信息学院任教。研究工作主要涉及人工智能、自动推理与形式化方法、程序可靠性验证分析、计算语言学等领域，具体研究方向包括：可靠C++代码的自动生成、中文语义分析与信息提取、数学知识提取与推理模型构建、数据库建模与形式化验证、不确定信息推理、语言能力评估等。近年来主持北京市青年自然基金、北京市优秀人才青年骨干、北京市高等教育学会等科研项目，并参与973计划、国家自然科学基金、北航国家重点实验室开放课题等研究课题。近年在国际学术会议和国际期刊上发表学术论文二十余篇，其中SCI论文8篇;获得国家发明专利11项；参与出版教材1部，主讲《C语言》、《Unix系统编程》、《数据结构II》、《算法基础》、《数据压缩》、《函数式编程》、《计算机网络安全》、《搜索引擎》、《计算理论》、《伦理、安全与隐私》等本科生课程。

近年来发表的学术论文（部分）：

1．Yu Yan, Dongchen Jiang*. Multi-Task Learning for Suicide Risk Detection on Chinese Dialogue. BIBM 2023 : IEEE International Conference on Bioinformatics and Biomedicine, Istanbul, Turkey. 2023.12.05-08.

2．唐溪, 蒋东辰*. 结合一阶逻辑的弱监督中文命名实体识别方法. 第二十九届全国信息检索学术会议(CCIR2023), 北京. 2023.11.24-26.

3．唐溪, 蒋东辰*, 蒋翱远. 基于词向量的自适应领域术语抽取方法. 第二十二届中国计算语言学大会(CCL2023), 黑龙江哈尔滨. 2023.08.02-05.

4．蒋东辰*, 付辰曦. lsabelle2Cpp的类型推理系统. 第十三届中国数学会计算机数学大会 (CM2023), 辽宁大连. 2023.06.15-18.

5．蒋东辰*, 刘源, 张健飞. 基于AI技术的英语阅读文本难度影响因素分析. 英语教师, 2022, 22(20): 44-49.

6．Dongchen Jiang*, Bo Xu. Generation of C++ Code from Isabelle-HOL Specification. International Journal of Software Engineering and Knowledge Engineering, 2022, 32(7): 1043-1069.

7．Dongchen Jiang*, Aoyuan Jiang, Shuai Tang. An Adaptive Method for Chinese New Word Detection Based on Hypothesis Testing. Pattern Analysis and Applications, 2022.

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

9．Dongchen 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.

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

11．Dongchen 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.

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

13．Dongchen Jiang*. A Comparative Study of Sorting Algorithm Verification. The 4rd International Seminar on Program Verification, Automated Debugging and Symbolic Computation, 2015.

14．Dongchen 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.

15．Dongchen 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.

16．Dongchen Jiang*, Yihua Lou. A Revision Approach Based on Decomposition..Proceedings: 2nd International Conference on Information Science and Manufacturing Engineering. Chongqing, China, 2012, Springer Press.

17．Dongchen Jiang*, Tobias Nipkow. Proof Pearl: The Marriage Theorem. Proceedings: International Conference on Certified Programs and Proofs 2011: 394-399, Springer Press.

18．Dongchen Jiang*, Yihua Lou, Yi Jin. A Revision Approach Based on Assignment Equivalence Classes. ISA 2010, 1199-1202.

19．Wei 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.