陈钢

个人信息:Personal Information

博士生导师

招生学科专业:
计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院

主要任职:教授

性别:男

毕业院校:巴黎第七大学

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

学位:博士

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

办公地点:428

联系方式:gangchensh@qq.com

电子邮箱:

扫描关注

个人简介:Personal Profile

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

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

研究方向:

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

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

* 程序语言设计:函数式语言、领域专用语言、类型系统、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