个人简介
个人简介
1999/09 - 2003/07，安徽大学，计算机科学与技术专业，学士；
2006/09 - 2009/07，安徽大学，计算机科学与技术学院，硕士，导师： 李龙澍教授；
2010年起，师从中国科学技术大学陈意云教授，开展程序分析与验证、计算机语言方向的研究；
2011/11 - 2017/12，安徽大学，计算机科学与技术学院，讲师；
2015/07 - 2015/12，科大国创软件股份有限公司高可信软件工程中心，软件研发工程师；
2016/09 - 2017/07，中国科技大学，计算机软件与理论专业，访问学者，导师：陈意云教授，冯新宇教授；
2018/12 - 至今，安徽大学，计算机科学与技术学院，高级实验师.
科研成果
发明专利
(1) 方贤勇,曹明军,李薛剑,孙恒飞,傅张军. 一种改进的运动目标检测VIBE算法. 201810498273. 实审.
(2) 方贤勇,张晶晶,李薛剑,孙恒飞,傅张军. 适用于视频图像中显著人体实例分割的方法. 201810498274. 实审.
(3) 方贤勇,丁成,汪粼波,王华彬,周健,李薛剑. 基于显著性的图像局部模糊检测方法. 201810498275. 实审.
三、软件著作权
(1) 安徽大学，高校图书馆个性化推荐系统,2017年；
(2) 安徽大学，高性能计算集群作业状态监控系统APP,2016年；
(3) 安徽大学，防雷监控平台系统，2014年；
(4) 安徽大学，图书编篡业务平台系统，2012年。
在研项目
(1)培训基地业务智能化信息管理平台，企业委托开发项目
(2)视频异常事件检测技术研究与系统开发，企业委托开发项目
(3)智慧监所实战平台开发，企业委托开发项目
获奖情况
指导学生参加ASC17大学生超级计算机竞赛获二等奖.
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
(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.
京公网安备 11010802027423号