个人简介

个人简介 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.