赵洋，男，1978年9月出生，南京理工大学计算机科学与技术学院副教授、博士、硕士生导师。毕业于 威斯康辛大学密尔沃基分校计算机软件与理论专业，获得博士学位。主要从事类型系统的设计，以及在软件可信分析和验证中的应用，发表学术论文10余篇，其中EI检索5篇，ISTP检索3篇，获计算机软件著作权1项。