南工大计算机学院,江南-欢迎访问湖北工业大学计算机学院官方网站

科研情况介绍(研究方向、研究课题、现正进行的科研项目)

研究方向：

计算机软件与理论。

近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.武汉大学

南工大计算机学院,江南-欢迎访问湖北工业大学计算机学院官方网站相关推荐

湖北工业大学计算机学院复试,2014年湖北工业大学计算机学院考研复试细则
写在前面:随着2014年34所自主划线院校考研分数线及国家线的公布,2014年考研复试.调剂工作也陆续拉开序幕.为了帮助更多考生顺利通过复试,考研论坛特开启复试调剂答疑活动,解答2014年考生有关考研 ...
湖北工业大学计算机学院研究生院,刘罡-欢迎访问湖北工业大学计算机学院官方网站...
研究方向:深度学习.图像处理. 近3年来主要个人成果.参加学术团体及社会兼职情况: 1.Gang Liu, Jiabao Guo,Bidirectional LSTM with attention m ...
湖北工业大学计算机学院博客,科学网-“第三届‘蓝桥杯’全国软件大赛”湖北分赛区组委会组成名单-程学先的博文...
经大赛组委会批准,"第三届'蓝桥杯'全国软件专业人才设计与创业大赛"湖北分赛区组委会组成名单如下: 湖北分赛区组委会主任:华科大软件学院院长陈传波湖北分赛区组委会常务副主任:湖北 ...
湖北工业大学计算机学院王泽建,“指尖年轮，感恩成长”计算机学院2019届毕业生晚会圆满举行...
羽翼初丰暂别母校,情系湖工感恩同行.6月13日晚,计算机学院在大礼堂里举办了"指尖年轮,感恩成长--湖北工业大学计算机学院2019届毕业晚会".学院党政领导班子.教师代表.班导师. ...
2023湖北工业大学计算机考研信息汇总
湖北工业大学(Hubei University of Technology),简称"湖工大",坐落在有"九省通衢"之称的国家中心城市--武汉,是一所以工学为特色 ...
计算机组成原理fc和fz,合肥工业大学计算机组成原理实验报告(DOC)
合肥工业大学计算机组成原理实验报告(DOC),合肥工业大学计算机组成原理,合肥工业大学计算机组成原理试卷,计算机组成原理实验pdf,计算机组成原理微程序,计算机组成原理实验报告,计算机组成原理知识点, ...
文科女生学计算机好吗6,文科女生学计算机专业怎么样?
很多同学想知道文科女生学计算机专业怎么样,以下是一些相关信息的整理,希望能对同学们有所帮助. 文科女生学计算机专业怎么样计算机专业是典型的靠本事吃饭.就业好不好,完全看你本事.如果你颜值还有一点点高 ...
合工大计算机学院导师詹曙,合肥工业大学计算机与信息学院导师教师师资介绍简介-△郭艳蓉...
合肥工业大学计算机与信息学院导师教师师资介绍简介-△郭艳蓉本站小编 Free考研考试/2021-04-24 个人信息姓名郭艳蓉性别女出生年月最终学位博士毕业学校合肥工业大学从事 ...
计算机多媒体教室维修登记册,湖北工业大学多媒体教室管理办法（试行）.doc...
文档介绍: 湖北工业大学多媒体教室管理办法(试行).doc湖北工业大学多媒体教室管理办法(试行)湖工大教[2005]26号多媒体教室是学校进行现代化教学的主要场所.为了保证正常的教学秩序,提高多媒体教 ...

南工大计算机学院,江南-欢迎访问湖北工业大学计算机学院官方网站

南工大计算机学院,江南-欢迎访问湖北工业大学计算机学院官方网站相关推荐

最新文章

热门文章