现在所在位置: 网站首页  >  师资队伍  >  教师简介  >  研究生导师  >  正文

江南
来源:研究生工作办公室    作者:研工办   日期:2021/12/13  浏览:

江南,1976年4月生。2016年毕业于武汉大学,获博士学位。副教授,硕导,CCF教育专业委员会委员。

开设课程:

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

2003年7月至今任教于湖北工业大学。获国家留学基金委资助,于2009年1月至8月在美国佐治亚理工学院计算机科学系,以及2018年11月至2019年11月在德国慕尼黑工业大学计算机学院访问研究。主要从事可信软件、可信编译、交互式定理证明领域的研究工作。在软件学报和电子学报等核心期刊发表相关论文多篇。获湖北省科技进步一等奖一项(参与)。

教育背景

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

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

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

研究领域:计算机软件与理论。

主要个人成果、参加学术团体及社会兼职情况

[1] 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.

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

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

[4] 江南,王春枝,何炎祥. 编程语言类课程双语教学探索与实践.计算机教育, 2017,6:143-146.

[5] 江南,王春枝,康瑞华. 计算机专业程序设计语言课程教学改革的思考.计算机教育,2017,5: 42-44.

[6] 江南,何炎祥,张晓瞳,刘瑞,沈云飞. Java安全性机制的形式分析与证明. 计算机科学与探索, 2016,10(11): 1501-1511.

[7] Jiang Nan, He Yanxiang, Zhang Xiaotong, Liu Rui, Shen Yunfei. A Provably-Correct Micro-Dalvik Bytecode Verifier. International Journal of Security and Its Applications, 2016,10(9):193-210.

[8] 江南, 何炎祥,张晓瞳. mJava到Micro-Dalvik虚拟机的编译验证. 电子学报, 2016,44(7): 1619-1629.

[9] 江南,何炎祥. 计算机专业编程语言类课程教学的思考.计算机教育,2016,4:156-159.

[10] 何炎祥,江南(通讯作者),李清安,张军,沈凡凡. 一个机器检测的Micro-Dalvik虚拟机模型. 软件学报, 2015,26(2): 364-379.

主持项目

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


Copyright © 2024  湖北工业大学计算机学院  版权所有  All Rights Reserved

学院办:86-027-59750443  教学办:86-027-59750442

党   办:86-027-59331738  学工办:86-027-59750023

地址:湖北省武汉市洪山区南李路28号   邮编:430068