|
个人信息Personal Information
博士生导师
主要任职：教授
性别：男
毕业院校：巴黎第七大学
学历：研究生(博士)毕业
学位：博士
所在单位：南京航空航天大学计算机科学与技术学院
办公地点：428
联系方式：g a n g c h e n AT q q DOT com
电子邮箱：
扫描关注
点击次数：
招生学院：计算机科学与技术学院
招生专业：软件工程
招生专业简介：1）形式化飞行控制数学；
2）形式化矩阵研究和深度学习编译器；
3）领域专用程序语言设计；
4）控制系统编程、测试和开发工具
招生专业备注：1）形式化工程数学、形式化数学、形式化飞行控制数学、控制系统软件形式化；
2）形式化矩阵、形式化神经网络算子、基于形式化方法的深度学习编译器开发
3）程序语言设计和实现、类型理论、函数式语言、函数式语言科学计算、函数式语言到命令式语言转换；
硕士研究生-研究方向：形式化工程数学、形式化方法、程序语言设计、类型理论、高阶定理证明
招生年份：2021
招生类型：硕士研究生招生
所属学科：计算机科学与技术