科研情況介紹(研究方向、研究課題、現正進行的科研項目)

研究方向：

計算機軟件與理論。

近3年來主要個人成果、參加學術團體及社會兼職情況：

1、機械化定理證明研究綜述.第一作者.軟件學報. 2019

2、mJava到Micro-Dalvik虛擬機的編譯驗證.第一作者.電子學報2016.7

3、A Provably-Correct Micro-Dalvik Bytecode Verifier .第一作者. International Journal of Security and Its Applications. 2016.9

4、Java安全性機制的形式分析與證明.第一作者.計算機科學與探索. 2016.11

5、一個機器檢測的Micro-Dalvik虛擬機模型.通訊作者.軟件學報2015.2

6、計算機專業程序設計語言課程教學改革的思考.第一作者.計算機教育2017.6

7、編程語言類課程雙語教學探索與實踐.第一作者.計算機教育2017.5

8、計算機專業編程語言類課程教學的思考.第一作者.計算機教育. 2016.4

主持項目

1、新工科編程語言類課程體系建設：解決復雜工程問題能力和計算思維的培養.全國高等學校計算機教育研究會. 2019.1-2020.11

2、JAVA程序設計改革與實踐.湖北工業大學. 2017.7-2020.7

3、一個可證明的Dalvik字節碼驗證器.省教育廳. 2016.1-2018.5

4、達內－Java程序設計(教學改革與實踐) .教育部產學合作. 2016.7-2017.6

5、基于Java的編譯器安全驗證. 2015.10-2017.6.武漢大學

總結

以上是生活随笔為你收集整理的南工大计算机学院,江南-欢迎访问湖北工业大学计算机学院官方网站的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。