 |
姓名：
江南 |
性 别:
女 |
院 系：
计算机学院 |
| 行政职务：
|
专业技术职称：
副教授 |
导师类别：
硕士生导师
|
| 从事专业1：
|
从事专业2：
计算机科学与技术 |
从事专业3：
|
| 最后学历：
博士研究生 |
最后学位：
博士 |
任硕导年月：
2018.6 |
| 任博导年月：
|
是否院士：
否 |
是否国务院学科评议组成员：
否 |
| 毕业院校：
武汉大学 |
毕业专业：
081202 计算机软件与理论 |
毕业时间：
2016-12-30 |
| 办公电话：
|
E-mail：
|
是否停招：
否 |
|
◇ 学科信息：
|
|
|
| ◇ 本人从事的主要研究方向： |
| 交互式定理证明、可信软件、可信编译 |
| ◇ 个人简介： |
2016年毕业于武汉大学，获博士学位。副教授，硕导，CCF教育专业委员会委员。开设课程：面向对象程序设计、面向对象程序设计(英文，课程网站：http://mooc1.chaoxing.com/course/213945964.html)、信息管理系统设计实践等。2003年7月至今任教于湖北工业大学。获国家留学基金委资助，于2009年1月至8月在美国佐治亚理工学院计算机科学系，以及2018年11月至2019年11月在德国慕尼黑工业大学计算机学院访问研究。主要从事可信软件、可信编译、交互式定理证明领域的研究工作。参与国家自然科学基金重大研究计划重点项目和面上项目多项。在软件学报和电子学报等核心期刊发表相关论文多篇。获湖北省科技进步一等奖一项(参与)。
|
| ◇ ：在国内外核心期刊上发表学术论文情况 |
| 论文题目 | 刊物名称 | 刊物国家 | 收录情况 | 卷期 | 排名 |
|
机械化定理证明研究综述
|
软件学报
|
国内
|
EI
|
2020,1
|
1
|
|
机械化验证一个高效的迭代数据流求解算法
|
软件学报
|
国内
|
EI
|
2022,6
|
1
|
|
A data flow analysis algorithm for computing dominators (https://isa-afp.org/entries/Dominance_CHK.html)
|
Archive of Formal Proofs
|
国外
|
|
2021,9
|
1
|
|
|
| ◇ ：出版专著教材情况(注：在书名后注明教材或专著) |
|
|
| ◇ ： 成果获奖情况 |
| 成果名称 | 颁奖部门 | 等级 | 完成日期 | 证书号 | 排名 |
|
可信软件的构造方法和技术
|
省部
|
一等奖
|
科技进步奖
|
2014J-241-1-031-016-R13
|
13
|
|
代表性论文：
|
|
|
|
|
|
|
| ◇ ：主持重大科研项目情况 |
| 项目名称 | 任务来源 | 完成形式 | 完成日期 | 鉴定验收单位 | 主要结论 | 排名 |
|
1. 一个可证明的Dalvik字节码验证器.省教育厅. 2016.1-2018.5
|
省（自治区、直辖市）项目
|
论文
|
|
省教育厅
|
同意结题
|
1
|
|
| ◇ ：目前承担的主要项目 |
| 项目名称及下达编号 | 项目类别 | 项目来源 | 起讫时间 | 科研经费(万元) | 本人承担任务 |
|