EN
当前位置： X-MOL首页 › 全球导师 › 国内导师 › 蒋东辰
蒋东辰 副教授 硕导 收藏 完善纠错
北京林业大学    信息学院
登录后才能查看导师的联系方式，马上登录...

个人简介

2006年毕业于北京航空航天大学理学院，获得理学学士学位；2010年至2011年在德国慕尼黑工业大学访问研究；2013年获得北京航空航天大学计算机软件与理论专业工学博士学位

研究领域

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

近期论文

查看导师新发文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

近年来已在国际学术会议和国际期刊上发表学术论文十余篇，其中SCI论文6篇

我收藏的导师 >
便捷的期刊搜索 >
免费课题组网站 >
推荐链接
down
wechat
bug