陈钢研究生导师介绍
姓名陈钢 性 别:  行政职务 :
专业技术职务教授 办公电话16428 导师类别博士生导师
最后学历博士毕业 最后学位博士 最后毕业学校巴黎第七大学
电子邮件gangchensh@qq.com  
工作单位计算机科学与技术学院    
学科研究方向一:
专业名称计算机科学与技术 (招收硕士研究生)                                                                  学科代码11081200
形式化方法、类型理论、程序设计语言理论,Lambda演算、定理证明、高阶逻辑,形式化工程数学,软件开发工具
学科研究方向二:
专业名称软件工程 (招收博、硕士研究生) 学科代码083500
集成电路验证、PLC程序测试
个人简历(学历、学术经历及社会兼职):


发表学术论文,出版专著情况:
专著《OCAML语言编程基础》在POPL,INFORMATION and COMPUTATION,PLDI, IEEE Transactions on Computers, IEEE Transactions on DAC, IEEE Transactions on Nanotechnolgy 等会议杂志上发表多篇论文

科研成果获奖及专利:

承担的科研项目情况:
指导研究生情况:

汪一飞,马振威,陈曦,范永乾
备注: