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