陈钢

个人信息Personal Information

博士生导师

主要任职:教授

性别:男

毕业院校:巴黎第七大学

学历:研究生(博士)毕业

学位:博士

所在单位:南京航空航天大学计算机科学与技术学院

办公地点:428

联系方式:g a n g c h e n AT q q DOT com

电子邮箱:

扫描关注

个人简介Personal Profile

教授,博导。国家特聘专家。中国计算机学会杰出会员。

法国巴黎第七大学计算机系博士,北京大学计算机系人工智能专业硕士,浙大数学系计算数学专业学士。

研究方向:

* EDA算法和软件开发研究:Verilog语法分析器、逻辑综合、模拟仿真、布局布线、形式化验证、硬件语言缺陷检查、高层综合

* IEC61131-3 PLC编程语言研究:结构化文本到C语言转换、结构化文本仿真、梯形图语言

* 基础软件开发: 深度学习编译器、工业软件、科学计算语言

* 形式化工程数学:形式化矩阵、形式化飞行控制、形式化机器人、微积分形式化、形式化量子计算

* 程序语言设计:函数式语言、领域专用语言、类型系统、Lambda演算、程序静态分析

* 集成电路:EDA、FPGA、算术电路形式验证、加密算法设计与验证、函数式硬件描述语言、Verilog语法分析器、体系结构描述语言和工具


POPLPPDPInformation and Computation,IEEE Transactions on Computer, IEEE Transactions on CAD, IEEE Transactions on Nanotechnology,软件学报等国内外顶级会议和杂志上发表多篇论文。曾在上海交通大学,澳大利亚南澳大学,美国波士顿大学,摩托罗拉EDA研发中心和航天科工工作。201310月入选国家特聘专家。出版专著《OCaml语言编程基础》。组织了计算机学会启智会“形式化工程数学”研讨会。20189月起受聘南京航空航天大学计算机科学与技术学院教授。



  • 教育经历Education Background
  • 工作经历Work Experience
  • 研究方向Research Focus
  • 社会兼职Social Affiliations