导师简介

姓名：李薛剑
性别：男
出生年月：1981年7月


导师类别：硕导
专业技术职称：高级实验师

招生专业代码及名称：
0812计算机科学与技术0854电子信息0835软件工程

研究方向：高可信软件，程序分析与验证，高性能计算

Email：lxj@ahu.edu.cn

个人简介
1999/09-2003/07，安徽大学，计算机科学与技术专业，学士；
2006/09 - 2009/07，安徽大学，计算机科学与技术学院，硕士，导师：李龙澍教授；
2010年起，师从中国科学技术大学陈意云教授，开展程序分析与验证、计算机语言方向的研究；
2011/11 - 2017/12，安徽大学，计算机科学与技术学院，讲师；
2015/07 - 2015/12，科大国创软件股份有限公司高可信软件工程中心，软件研发工程师；
2016/09 -2017/07，中国科技大学，计算机软件与理论专业，访问****，导师：陈意云教授，冯新宇教授；
2018/12 -至今，安徽大学，计算机科学与技术学院，高级实验师.

科研成果
一、论文
(1)孙科,罗奇鸣,李薛剑,陈意云.安全C语言验证器中形状系统的形状检查方法.小型微型计算机系统. 2019,40(1):133-140.
(2)常欢,罗奇鸣,李薛剑,陈意云.一种基于栈区内存模型的C程序别名判断算法.小型微型计算机系统. 2019,40(2):353-358.
(3)李薛剑*,雷政.一种对集群回填作业调度改进的RB_HAR策略.实验室研究与探索. 2018,37(9):126-130.
(4)李薛剑*,刘梦雅，海健强等.基于时间效应与隐语义模型的高校图书馆的个性化推荐研究.计算机应用与软件. 2018,35(5):130-134.
(5)李薛剑*,胡月月.面向集群的系统性能可视化监控平台研究.实验室研究与探索.2018,37(3):127-130.
(6)李薛剑*.部分冗余删除的证明变换研究.小型微型计算机系统. 2017,38(1):15-19.
(7)李薛剑*，李凯.一种基于动态优先级的RQ作业调度算法.小型微型计算机系统. 2017,38(1):124-128.
(8)王玮,李薛剑*.面向移动APP的高性能计算作业监控系统.计算机应用与软件.2017,34(7):171-175.
(9)李薛剑*,罗京. 3D_EW在MIC并行编程中的移植与实现研究.实验室研究与探索.2017,36(4)：123-126.
(10)李薛剑*，陈豪.基于DTPS算法的异构集群优化策略.实验室研究与探索. 2016,35(3)：126-129.
二、发明专利
(1)方贤勇,曹明军,李薛剑,孙恒飞,傅张军.一种改进的运动目标检测VIBE算法. 3.实审.
(2)方贤勇,张晶晶,李薛剑,孙恒飞,傅张军.适用于视频图像中显著人体实例分割的方法. 4.实审.
(3)方贤勇,丁成,汪粼波,王华彬,周健,李薛剑.基于显著性的图像局部模糊检测方法.5.实审.
三、软件著作权
(1)安徽大学，高校图书馆个性化推荐系统,2017年；
(2)安徽大学，高性能计算集群作业状态监控系统APP,2016年；
(3)安徽大学，防雷监控平台系统，2014年；
(4)安徽大学，图书编篡业务平台系统，2012年。

在研项目
(1)培训基地业务智能化信息管理平台，企业委托开发项目
(2)视频异常事件检测技术研究与系统开发，企业委托开发项目
(3)智慧监所实战平台开发，企业委托开发项目

获奖情况
指导学生参加ASC17大学生超级计算机竞赛获二等奖.