个人简介
江南，1976年4月生，性别女。2016年毕业于武汉大学，获博士学位。职称副教授，硕导，开设课程：高级语言程序设计、Java程序设计（双语）、面向对象程序设计，2003年7月至今任教于湖北工业大学。
教育背景
1993.9–1996.6湖北商业高等专科学校计算机应用
2000.9–2003.6湖北工学院计算机应用技术
2012.9–2016.12武汉大学计算机软件与理论
主持项目
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.武汉大学
近期论文
查看导师最新文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
1、机械化定理证明研究综述.第一作者.软件学报.2019
2、mJava到Micro-Dalvik虚拟机的编译验证.第一作者.电子学报2016.7
3、AProvably-CorrectMicro-DalvikBytecodeVerifier.第一作者.InternationalJournalofSecurityandItsApplications.2016.9
4、Java安全性机制的形式分析与证明.第一作者.计算机科学与探索.2016.11
5、一个机器检测的Micro-Dalvik虚拟机模型.通讯作者.软件学报2015.2
6、计算机专业程序设计语言课程教学改革的思考.第一作者.计算机教育2017.6
7、编程语言类课程双语教学探索与实践.第一作者.计算机教育2017.5
8、计算机专业编程语言类课程教学的思考.第一作者.计算机教育.2016.4
京公网安备 11010802027423号