|
个人信息Personal Information
博士生导师
主要任职：教授
性别：男
毕业院校：巴黎第七大学
学历：研究生(博士)毕业
学位：博士
所在单位：南京航空航天大学计算机科学与技术学院
办公地点：428
联系方式：g a n g c h e n AT q q DOT com
电子邮箱：
扫描关注
-
我们团队的研究领域主要在基础软件的研究和开发。在就业市场的寒冬当中，基础软件的需求却逆势上升，人才难求。
在我们的重点研究方向针对的是企业招人难的EDA和工业软件领域。
1) 电子设计自动化EDA软件开发
1.1) 逻辑综合
1.2）布局布线
1.3）形式验证
1.4）高层综合
2）工业自动控制编程语言PLC开发
3）领域专用语言设计
3.1）云原生系统资源配置语言设计
3.2）硬件函数式语言
3.3）PLC编程语言及测试工具
3.4) 科学计算程序语言
3.5）类型理论
3.6）OCaml语言程序设计
4）形式化工程数学
4.1）形式化工程数学基础研究
4.1.1）形式化矩阵
4.1.2）形式化微积分
4.2) 形式化工程数学应用研究
4.2.1）形式化飞行控制数学
4.2.2）基于形式化方法的深度学习编译器
- 王一飞,王一飞,陈钢.A Formal Proof of Two Properties of Laplace Transform:Proc. IEEE Int. Conf. Saf. Prod. Informatiz., IICSPI,2019
- 马振威,陈钢.基于Coq记录的矩阵形式化方法:计算机科学,2019,46(7)
- 范永乾,陈钢,崔敏.基于COQ的有限域GF(2n)的形式化研究.中国:计算机科学,2019,47(12):311-318
- 麻莹莹,陈钢.基于Coq的分块矩阵运算的形式化.中国:软件学报,2021
- Gang Chen,Guowu Yang,Xiaoyu Song,Ting Wang,Xiaoqiao Mu,Yongqian Fan.A Formal Proof of PG Recurrence Equations of Parallel Adders.[J]:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2020
- 暂无内容
- 暂无内容