删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

湖北工业大学导师教师师资介绍简介-江南

本站小编 Free考研考试/2021-08-13


导师姓名:江南
导师类型:硕士生导师
出生日期: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.





相关话题/湖北工业大学 江南

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 湖北工业大学导师教师师资介绍简介-李兵兵
    导师姓名:李兵兵导师类型:硕士生导师出生日期:1982/12/31职称:讲师个人简介:主要从事光通信网络、信息安全的理论研究,提出了多个高效跨层网络设计及资源优化模型,提出了函数混淆相关的模型和签名方案。近五年在国际期刊及会议发表论文20余篇,其中SCI(E)检索2篇,EI检索8篇;主持和参与科研课 ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-徐承志
    导师姓名:徐承志导师类型:硕士生导师出生日期:1976/9/11职称:讲师个人简介:1999年毕业于武汉理工大学(学士),2004年毕业于武汉理工大学(硕士),2010年毕业于武汉大学(博士),同年就职于湖北工业大学计算机学院,2015年在英国牛津布鲁克斯大学访学。所在学院:计算机学院专业:软件工程 ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-沈华
    导师姓名:沈华导师类型:硕士生导师出生日期:1978/7/3职称:副教授个人简介:博士(毕业于武汉大学),CCF会员,澳大利亚Wollongong大学访问****,主要从事信息安全、隐私保护技术等方面的研究。近五年主持并参与科研项目20余项;发表学术论文20余篇;申请发明专利23项,授权9项;以第一 ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-张媛媛
    导师姓名:张媛媛导师类型:硕士生导师出生日期:1988/5/20职称:讲师个人简介:2016年毕业于武汉大学信息安全专业获得博士学位,发表SCI论文6篇,主持国家自然科学基金青年项目1项,所在学院:计算机学院专业:信息安全研究方向:信息安全主讲硕士生课程:密码学与信息安全主讲博士生课程:无科研项目: ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-杨习伟
    导师姓名:杨习伟导师类型:硕士生导师出生日期:1965/4/17职称:副教授个人简介:1986.7-2001.9,中国石油天然气总公司第三石油仪表厂从事仪器仪表设计,1997年获得高级工程师职称。2001年10月,湖北工业大学计算机学院,副教授,硕士生导师,从事汇编语言、数字逻辑、计算机接口技术、组 ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-安琪
    导师姓名:安琪导师类型:硕士生导师出生日期:1970/7/1职称:副教授个人简介:湖北省评标专家库专家,国家教委国内高级访问****;主要研究景观设计、建筑设计、景观与规划设计及装饰陈设设计方向。主持、参与多项环境景观设计、建筑设计及概念性规划设计项目;参与多项科研课题研究;并发表论文50余篇。所在 ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-AKOSHUT
    导师姓名:AKOSHUT导师类型:博士生导师出生日期:1976/11/10职称:教授个人简介:匈牙利佩奇大学建筑学硕士。匈牙利佩奇大学马赛.布鲁耶博士院建筑学博士。美国丹佛大都会大学访问教授。匈牙利佩奇大学马赛.布鲁耶博士院建筑学博士生导师。湖北工业大学艺术设计学院博士生导师。匈牙利建筑师协会会员。 ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-程亚军
    导师姓名:程亚军导师类型:硕士生导师出生日期:1977/2/14职称:副教授个人简介:湖北工业大学艺术设计学院数字媒体艺术系副教授,硕士生导师。2000年毕业于华中师范大学美术教育系,获得学士学位。2005年毕业于湖北工业大学艺术设计学院,获得硕士学位。所在学院:艺术设计学院专业:设计学研究方向:数 ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-陈叶蕾
    导师姓名:陈叶蕾导师类型:硕士生导师出生日期:1980/12/1职称:副教授个人简介:本科、硕士均毕业于湖北美术学院,获文学学士、硕士学位。2017年毕业于武汉理工大学,获艺术学博士学位。公开发表期刊论文以及艺术作品20余篇。指导学生获评湖北省优秀学士学位论文。指导学生参加绘画设计类比赛并荣获国家级 ...
    本站小编 Free考研考试 2021-08-13
  • 湖北工业大学导师教师师资介绍简介-邓诗元
    导师姓名:邓诗元导师类型:硕士生导师出生日期:1970/12/3职称:副教授个人简介:1971.12月生于湖北省枝江市1989-1993年就读于湖北美术学院美术教育系油画专业1995-1998年就读于湖北美术学院美术教育系素描专业硕士研究生1998至今就职于湖北工业大学艺术设计学院动画系。2006年 ...
    本站小编 Free考研考试 2021-08-13