当前位置 :

蒋东辰老师

来源: 信息学院    发表时间(2017-10-17)

蒋东辰,博士,副教授,硕士生导师。

联系邮箱:jiangdongchen@bjfu.edu.cn

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