蒋东辰
近期热点
资料介绍
个人简历
2006年毕业于北京航空航天大学理学院,获得理学学士学位;2010年至2011年在德国慕尼黑工业大学访问研究;2013年获得北京航空航天大学计算机软件与理论专业工学博士学位研究领域
人工智能、自动推理和形式化方法、软件程序可靠性、交互式定理证明、中文自然语言处理等近期论文
近年来已在国际学术会议和国际期刊上发表学术论文十余篇,其中SCI论文6篇 相关热点