个人简介

学科专业：计算机科学与技术/计算机技术 讲授课程： 本科生课程：《计算机组成原理》、《微机原理》、《编译原理》、《C/C++程序设计》； 研究生课程：《高级计算机系统结构》。 主持参与课题及经费： 1.国家自然科学基金地区科学基金项目,No.61561024,高层次大规模时序逻辑电路可靠性评估方法研究,2015年获批,2015年~2019年,经费30万,在研,主持人. 2.江西省教育厅项目，No.GJJ14429、时序电路可靠性评估方法研究，2014年~2016年，经费2万元,在研，主持人. 3.国家自然科学基金地区科学基金项目,No.61462034,复杂需求场景驱动的软件安全防护模型检测技术研究,2014年获批，2015.1-2018.12，GJJ13412，46万元,在研,排名第二。 4.国家自然科学基金地区科学基金项目,No.61563019,基于策略梯度学习的自优化模糊控制研究,2015年获批，2015年~2019年,经费34万元,在研,排名第三。 5.江西省自然科学基金项目,No.20151BAB207035,基于场景与故障注入分析的系统安全性设计模型检测研究，2015.1-2018.12，经费5万元,在研,排名第二。 6.江西省教育厅项目，No.GJJ13412，基于模型检测的软件安全需求自动获取方法研究，2013.1-2014.12，经费2万元,已完成,排名第三。