赵洋研究生导师介绍
姓名：赵洋性别:男出生年月：1978-9-27
职称：副教授办公电话：025-84315641-17导师类别：硕士生导师
电子邮件：zy.nust@gmail.com
工作单位：计算机科学与技术学院
最后学历：研究生毕业最后学位：博士
最后毕业学校：威斯康辛大学密尔沃基分校毕业专业：081202计算机软件与理论毕业时间：
◇主学科研究方向：
二级学科名称（主）：计算机应用技术硕士学科学科代码：081203
程序静态分析和类型系统软件工程可信软件
◇学术任职：
中国计算机学会会员江苏省计算机学会会员、计算机应用专委会委员YOCSEF南京分论坛委员
◇学术成就：
主要从事类型系统的设计，以及在软件可信分析和验证中的应用，发表学术论文10余篇，其中EI检索5篇，ISTP检索3篇，获计算机软件著作权4项。

◇目前从事的研究内容、承担和科研项目及经费：
承担国家自然科学基金一项；参与江苏省自然科学基金重点研究专项一项。
◇其它情况：

2003.8-2007.8威斯康辛大学密尔沃基分校计算机科学专业，获博士学位，导师：JohnBoyland2000.9-2003.6南京大学计算机应用技术专业，获硕士学位，导师：潘金贵1996.9-2000.7南京邮电大学计算机通信专业，获学士学位主讲课程：分布式系统（硕士生），高级编译与优化技术（博士生）