导师姓名:江南
导师类型:硕士生导师
出生日期:1976/4/22
职称:副教授 CCF教育专业委员会委员
个人简介:
武汉大学博士。参与国家自然科学基金重大研究计划重点项目和面上项目多项。分别于2009年和2019年在佐治亚理工学院和慕尼黑澳门各大游戏平台网址大学进行访问研究。在软件学报和电子学报等发表论文多篇。获湖北省科技进步一等奖一项(参与)。
所在学院:计算机学院
专业:计算机科学与技术
研究方向:计算机软件与理论
主讲硕士生课程:无
主讲博士生课程:无
科研项目:
1. 一个可证明的Dalvik字节码验证器.省教育厅. 2016.1-2018.5
科研成果:
代表性论文:
1. 机械化定理证明研究综述.第一作者.软件学报. 2020.1
2. mJava到Micro-Dalvik虚拟机的编译验证.第一作者.电子学报2016.7
3. A Provably-Correct Micro-Dalvik Bytecode Verifier .第一作者. International Journal of Security and Its Applications. 2016.9
4.一个机器检测的Micro-Dalvik虚拟机模型. 通讯作者. 软件学报, 2015.2
5. Java安全性机制的形式分析与证明.第一作者.计算机科学与探索. 2016.11
获奖:
1. 可信软件的构造方法和技术.湖北省科技进步一等奖. 2014.12.29.