趙洋[南京理工大學副教授]

趙洋，男，1978年9月出生，南京理工大學計算機科學與技術學院副教授、博士、碩士生導師。畢業於 威斯康辛大學密爾沃基分校計算機軟體與理論專業，獲得博士學位。主要從事類型系統的設計，以及在軟體可信分析和驗證中的套用，發表學術論文10餘篇，其中EI檢索5篇，ISTP檢索3篇，獲計算機軟體著作權1項。

學術任職

1、中國計算機學會會員；

2、江蘇省計算機學會會員、計算機套用專委會委員；

3、YOCSEF南京分論壇委員；

4、ACM/IEEE會員。

研究領域

程式靜態分析和類型系統；軟體工程；可信軟體。

學術成就

主要從事類型系統的設計，以及在軟體可信分析和驗證中的套用，發表學術論文10餘篇，其中EI檢索5篇，ISTP檢索3篇，獲計算機軟體著作權1項。

承擔國家自然科學基金、教育部留學回國人員科研啟動基金和教育部高校博士點基金各一項。

其他情況

1、1996.9-2000.7 南京郵電大學 計算機通信專業，獲學士學位；

2、2000.9-2003.6 南京大學計算機套用技術專業，獲碩士學位，導師：潘金貴；

3、2003.8-2007.8 威斯康辛大學密爾沃基分校 計算機科學專業，獲博士學位，導師：John Boyland。