所在學院

j9九游會官網

職稱

副教授

職務

教師

招生學科

計算機科學與技術

軟件工程

辦公電話

010-62336702

郵箱

jiangdongchen@bjfu.edu.cn

最后學歷

博士研究生

最高學位

博士

入選的“人才”項目

北京市優秀人才

目前的研究領域

人工智能、自動推理和形式化方法、軟件/程序可靠性、交互式定理證明、計算語言學、中文自然語言處理等

個人簡介：

2006年畢業于北京航空航天大學理學院，獲得理學學士學位；2010年至2011年在德國慕尼黑工業大學訪問研究；2013年獲得北京航空航天大學計算機軟件與理論專業工學博士學位。現在北京林業大學j9九游會官網任教。研究工作主要涉及人工智能、自動推理與形式化方法、程序可靠性驗證分析、計算語言學、生物信息學等領域，具體研究方向包括：可靠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. ISA2010, 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.