江南，1976年4月生。2016年毕业于武汉大学，获博士学位。副教授，硕导，CCF教育专业委员会委员。开设课程：高级语言程序设计、Java程序设计(双语)、面向对象程序设计等。2003年7月至今任教于湖北工业大学。获国家留学基金委资助，于2009年1月至8月在美国佐治亚理工学院计算机科学系，以及2018年11月至2019年11月在德国慕尼黑工业大学计算机学院访问研究。主要从事可信软件、可信编译、交互式定理证明领域的研究工作。在软件学报和电子学报等核心期刊发表相关论文多篇。获湖北省科技进步一等奖一项(参与)。

教育背景

1993.9 – 1996.6湖北商业高等专科学校 计算机应用

2000.9 – 2003.6湖北工学院 计算机应用技术

2012.9 – 2016.12武汉大学 计算机软件与理论

研究方向：计算机软件与理论。

近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.武汉大学