科研情况介绍(研究方向、研究课题、现正进行的科研项目)
研究方向：
计算机软件与理论。
近3年来主要个人成果、参加学术团体及社会兼职情况：
1、机械化定理证明研究综述.第一作者.软件学报. 2019
2、mJava到Micro-Dalvik虚拟机的编译验证.第一作者.电子学报2016.7
3、A Provably-Correct Micro-Dalvik Bytecode Verifier .第一作者. International Journal of Security and Its Applications. 2016.9
4、Java安全性机制的形式分析与证明.第一作者.计算机科学与探索. 2016.11
5、一个机器检测的Micro-Dalvik虚拟机模型.通讯作者.软件学报2015.2
6、计算机专业程序设计语言课程教学改革的思考.第一作者.计算机教育2017.6
7、编程语言类课程双语教学探索与实践.第一作者.计算机教育2017.5
8、计算机专业编程语言类课程教学的思考.第一作者.计算机教育. 2016.4
主持项目
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.武汉大学
网址2345大型门户网站都有app下载安装app哈尔滨建站软件下载网站免费大全打广告的平台电商运营面试企业官网制作报价网络架构图是什么传奇网页游戏下载企业建站服务退役军人搜索引擎调词平台多少钱长沙百家号seocms建站平台企业所得税分3个档次晚上睡不着偷偷看b站大全谭木记网页制作源代码怎样在亚马逊网上开店德勤管理咨询免备案服务器推荐网站建设文章深圳有几个区县株洲市疫情最新规定合肥最新新闻通报深圳小程序开发公司排名在线玩的网页小游戏专业建设网站哪个好上海网站建设公司 红威常见的电子商务平台有哪些东莞学平面设计在手机上自己制作游戏软件