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


发表学术论文,出版专著情况:


科研成果获奖及专利:

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

备注: