|
姓名 |
蒋东辰 |
性别 |
男 |
|
所在学院 |
信息学院 |
职称 |
副教授 |
|
职务 |
教师 |
|
|
|
招生学科 |
计算机科学与技术 |
||
|
软件工程 |
|||
|
|
|||
|
办公电话 |
010-62336702 |
邮箱 |
|
|
最后学历 |
博士研究生 |
最高学位 |
博士 |
|
入选的“人才”项目 |
北京市优秀人才 |
|
|
|
目前的研究领域 |
人工智能、自动推理和形式化方法、软件程序可靠性、交互式定理证明、中文自然语言处理等 |
||
|
个人简介： |
|||
|
2006年毕业于北京航空航天大学理学院，获得理学学士学位；2010年至2011年在德国慕尼黑工业大学访问研究；2013年获得北京航空航天大学计算机软件与理论专业工学博士学位。现在北京林业大学信息学院任教。研究工作主要涉及人工智能、自动推理和形式化方法、软件程序可靠性、交互式定理证明、中文自然语言处理等领域，具体研究方向包括：C语言的形式化验证、中文语义分析与信息提取、数学知识推理、安全协议分析、不确定信息推理等。近年来主持北京市青年自然基金项目一项，并参与了多项973计划、国家自然科学基金、北航国家重点实验室开放课题等研究课题，目前主讲信息学院本科生《Unix环境编程》、《数据结构II》、《计算机网络安全》等课程。近年来已在国际学术会议和国际期刊上发表学术论文十余篇，其中SCI论文6篇;获得授权发明专利3项；参与出版教材1部。 |
|||
|
近年来发表的学术论文（部分）： |
|||
|
1、Jie Luo, Yifei Wang, Dongchen Jiang. Rule-Based Hidden Relation Recognition for Large Scale Knowledge Graphs. Pattern Recognition Letters, 2019. 2、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. 3、Dongchen Jiang, Wei Li. The verification of conversion algorithms between finite automata. Science China Information Sciences, 2018, 61(2):028101. 4、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. 5、Dongchen Jiang, Wei Li. Revision with Probability. Journal of Symbolic Computation. 2017, 80:87-100 6、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. 7、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. 8、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.
|
|||
|
|
|||