|
个人信息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）基于形式化方法的深度学习编译器