单位：南京航空航天大学

研究方向： 计算机

社会任职
陈钢，国家特聘专家，中国计算机学会杰出会员，巴黎第七大学博士（程序语言专业），曾在澳大利亚和美国的EDA公司和大学工作，2013年入选国家特聘专家，并在北京京航计算与通讯研究所工作，2018年起任南京航空航天大学计算机科学与技术学院教授。在南京航空航天大学组建形式化工程数学团队。开展形式化工程数学，人工智能，EDA和程序语言设计方面的研究工作。开发了带类型学习框架和基于重写的AI编译系统Ionia，带类型量子计算编程语言和形式化量子程序验证系统Chalcis，增量式Verilog语言语法分析和前端工具Stagira等软件项目。开发了多个AI智能助手。发表了60多篇论文，6项授权专利。

个人介绍
无