热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
蒋东辰
2023-05-06 11:57
  • 蒋东辰
  • 蒋东辰 - 副教授 硕导-北京林业大学-信息学院-个人资料

近期热点

资料介绍

个人简历


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

研究领域


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

近期论文


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

相关热点

扫码添加好友