江南，1976年4月生。2016年毕业于武汉大学，获博士学位。副教授，硕导。2003年7月至今任教于星空下载游戏推荐官网。获国家留学基金委资助，于2009年1月至8月在美国佐治亚理工学院计算机科学系，以及2018年11月至2019年11月在德国慕尼黑工业大学计算机学院访问研究。主要从事可信软件、可信编译、交互式定理证明领域的研究工作。在软件学报和电子学报等核心期刊发表相关论文多篇。获湖北省科技进步一等奖一项(参与)。

开设课程：

Java程序设计(英文，课程网站：http://mooc1.chaoxing.com/course/213945964.html)、C语言程序设计、C++程序设计、信息管理系统设计实践等。

教育背景

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

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

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

研究方向：机械化定理证明，编程语言。

主要个人成果：

[1] 江南，康瑞华，叶志伟. 面向对象程序设计(Java和C++结合版)(双语版). 人民邮电出版社. 2025. 5. https://www.qldbook.com/index.html#/digibook/details/619

[2] 江南，汪吕蒙， 张晓瞳，何炎祥. 机械化验证一个高效的迭代数据流求解算法, 软件学报, 2022, 33(6): 2115-2126.

[3] Nan Jiang. A data flow analysis algorithm for computing dominators. Archive of Formal Proofs,Sep.2021. https://www.isa-afp.org/entries/Dominance_CHK.html, Formal proof development.

[4] 江南，何炎祥. 关于计算机专业开设逻辑与验证类课程教学的思考. 计算机教育,2021, 1:111-115.

[5] 江南，李清安，汪吕蒙，张晓瞳，何炎祥.机械化定理证明研究综述.软件学报,2020,31(1):82-112.