江南的注册网址_江南软件合法

首页江南娱乐网页版入口官网师资概况副教授

姓名	蒋东辰	性别	男
所在学院	信息学院	职称	副教授
职务	教师
招生学科	计算机科学与技术
	软件工程

办公电话	010-62336702	邮箱	jiangdongchen@bjfu.edu.cn
最后学历	博士研究生	最高学位	博士
入选的“人才”项目	北京市优秀人才
目前的研究领域	人工智能、自动推理和形式化方法、软件/程序可靠性、交互式定理证明、计算语言学、中文自然语言处理等
个人简介：
2006年毕业于北京航空航天大学理学院，获得理学学士学位；2010年至2011年在德国慕尼黑工业大学访问研究；2013年获得北京航空航天大学计算机软件与理论专业工学博士学位。现在江南的注册网址信息学院任教。研究工作主要涉及人工智能、自动推理和形式化方法、软件程序可靠性、交互式定理证明、计算语言学、中文自然语言处理等领域，具体研究方向包括：C语言的形式化验证、可靠代码自动生成、中文语义分析与信息提取、数学知识推理、安全协议分析与验证、不确定信息推理、语言能力机器评估等。近年来主持北京市青年自然基金项目、北京市优秀人才青年骨干项目、北京市高等教育学会面上项目，并参与了多项973计划、国家自然科学基金、北航国家重点实验室开放课题等研究课题，目前主讲信息学院本科生《Unix环境编程》、《数据结构II》、《算法基础》、《数据压缩》、《函数式编程》、《计算机网络安全》、《搜索引擎》等课程。近年来已在国际学术会议和国际期刊上发表学术论文十余篇，其中SCI论文8篇;获得授权发明专利5项；参与出版教材1部。
近年来发表的学术论文（部分）：
1、Dongchen Jiang,Bo Xu.Generation of C++Code from Isabelle/HOL Specification. International Journal of Software Engineering and Knowledge Engineering, 2022. 2、Dongchen Jiang,Aoyuan Jiang, Xi Tang. An adaptive method for Chinese new word detection based on hypothesis testing. Pattern Analysis and Applications, 2022. 3、Jie Luo, Yifei Wang,Dongchen Jiang. Rule-Based Hidden Relation Recognition for Large Scale Knowledge Graphs. Pattern Recognition Letters, 2019. 4、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. 5、Dongchen Jiang, Wei Li. The verification of conversion algorithms between finite automata. Science China Information Sciences, 2018, 61(2):028101. 6、Dongchen Jiang, Miao Zhou. A Comparative Study of Insertion Sorting Algorithm Verification. The2nd Information Technology, Networking, Electronic and Automation Control Conference (ITNEC),Chengdu, 2017.12, 321-325. 7、Dongchen Jiang, Wei Li. Revision with Probability. Journal of Symbolic Computation.2017, 80:87-100. 8、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. 9、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. 10、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.