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

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

趙洋,男,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。

相關詞條

熱門詞條

聯絡我們