趙洋

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