赵洋
赵洋，男，1978年9月出生，南京理工大学计算机科学与技术学院副教授、博士、硕士生导师。主要从事类型系统的设计，以及在软件可信分析和验证中的应用。
教育背景
1. 1996.9-2000.7 南京邮电大学 计算机通信专业，获学士；
2. 2000.9-2003.6 南京大学计算机应用技术专业，获硕士学位，导师：潘金贵；
3. 2003.8-2007.8 威斯康星大学密尔沃基分校计算机科学专业，获博士学位，导师：John Boyland。
学术任职
中国计算机学会会员；
江苏省计算机学会会员、计算机应用专委会委员；
YOCSEF南京市分论坛委员；
ACM/IEEE会员。
研究领域
程序静态分析和类型系统；软件工程；可信软件。
主要成就
发表学术论文10余篇，其中EI检索5篇，ISTP检索3篇，获计算机软件著作权1项。承担国家自然科学基金、教育部留学回国人员科研启动基金和教育部高校博士点基金各一项。