公共目录

您目前的位置: 首页» 公共目录» 学术活动

学术报告:形式化工程数学和下一代人工智能

 

      题: 形式化工程数学和下一代人工智能

    人: 教授(南京航空航天大学)

      间: 20181019 14:00

      信息工程学院二层小会议室

位: 首都师范大学信息工程学院

主讲学者简介:

陈钢,博士,南京航空航天大学计算机科学与技术学院教授、博士生导师。主要研究方向兴趣:形式化工程数学,飞行控制,高阶定理证明器,程序语言,基于模型的开发技术,类型理论,程序验证,硬件形式化验证,CPU自动生成,函数式硬件描述语言,PLC程序测试,加密算法。在POPLPPDPInformation and Computation等形式化方法顶级会议和杂志,以及在IEEE Computer等电子科学顶级杂志,以及其他中外会议和杂志上发表过几十篇论文。曾在上海交大,南澳大学,波士顿大学,摩托罗拉公司工作。后创办灵芯实验室,在PLC程序建模和测试等方面开发出国际上首创的新技术和软件。201310月入选国家高端人才计划,到航天科工集团三院304所工作,开展了基于定理证明的AES加密算法验证与FPGA实现研究;缺陷分析软件评估研究;形式化飞行控制数学研究。出版专著《OCaml语言编程基础》。组织了计算机学会启智会“形式化工程数学”研讨会。20189月起受聘南京航空航天大学计算机科学与技术学院教授。

内容介绍:

During 2016 and 2017, major industrial countries have each published their own national artificial intelligence development plan.  However, in these strategic plans, the domain of theorem proving, traditionally viewed as a central element in intelligence, is nearly ignored. We analyzes the reason behind this phenomena and explains why theorem proving , and formal reasoning in general, should take an important role in the next generation of artificial intelligence.  In particular, we sketch a new research direction named formalized engineering mathematics, which we believe, will be an important part of Artificial Intelligence in a future not very far away.

 

欢迎感兴趣的老师和同学前来参加!