趙洋

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