你在这里首页

徐亮

徐亮，男，1981年出生，博士研究生学历，2009年毕业于中国科学院软件研究所计算机科学国家重点实验室，博士研究方向为形式化方法。
2009年-2010年，在中国科学院软件研究所基础软件国家工程研究中心担任助理研究员；
2010年-2013年，在湖南师范大学数学与计算机科学学院担任讲师；
2013年至今，在湖南师范大学数学与计算机科学学院担任副教授。

研究方向:
限界模型检测
中文信息处理

承担课题:
2014.7-2015.9 基于改进的隐马尔科夫模型的内容相关性分析（在研） 湖南省科技厅科技计划项目

?2012.7-2013.9 基于内容相关性的交互式定密及密级鉴定系统（已结题） 湖南省科技厅科技计划项目?

2013.7-2015.7 操作系统安全子系统的形式化开发方法及验证技术研究（在研） 湖南省教育厅科学研究项目

2014.2-2015.12 基于内容相关性的智能化文件定密及密级鉴定系统研发（在研） 长沙市科技局科技计划项目

2011.11-2013.9 基于物联网的智能医疗平台的研发（已结题） 长沙市科技局科技计划项目?

2013.5-2014.12 湖南师范大学多媒体教学课件项目（已结题）?

?2014.6-2016.6 湖南师范大学研究生教学改革研究项目

负责人

负责人

近期发表的代表性论文:
2013.9 Biba实用模型的自动化形式验证 湖南大学学报（自然科学版）?

2013.11 基于Android的远程控制系统 计算机工程?

2013.12 BLP改进模型的形式化描述及自动化验证 计算机工程?

2013.6 改进的验证正确性ACTL性质的限界模型检测方法 计算机科学?

2013.10 基于SMT的TECTL性质的限界模型检查方法 计算机工程与科学?

2013.4 改进的BLP模型的建模及其应用 计算机与现代化?

2015.2 《计算机操作系统》（普通高等教育“十三五”规划教材）

获奖情况:
长沙市第十届大学生科技创新创业大赛优胜奖

教学情况:
主要承担信息与计算科学专业、软件工程专业的计算机导论、操作系统、计算机组成原理、软件工程等课程的教学工作。