澳门威斯尼人手机游戏

姓名：李薛剑

性别：男

出生年月：1981年7月

导师类别：硕导

专业技术职称：高级实验师

招生专业代码及名称：

0812计算机科学与技术 0854电子信息 0835软件工程

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

Email：lxj@ahu.edu.cn

个人简介

1999/09 - 2003/07，澳门威斯尼人app手机版，计算机科学与技术专业，学士；

2006/09 - 2009/07，澳门威斯尼人app手机版，澳门威斯尼人手机游戏，硕士，导师： 李龙澍教授；

2010年起，师从中国科学技术大学陈意云教授，开展程序分析与验证、计算机语言方向的研究；

2011/11 - 2017/12，澳门威斯尼人app手机版，澳门威斯尼人手机游戏，讲师；

2015/07 - 2015/12，科大国创软件股份有限公司高可信软件工程中心，软件研发工程师；

2016/09 - 2017/07，中国科技大学，计算机软件与理论专业，访问学者，导师：陈意云教授，冯新宇教授；

2018/12 - 至今，澳门威斯尼人app手机版，澳门威斯尼人手机游戏，高级实验师.

科研成果

一、论文

(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算法. 201810498273. 实审.

(2) 方贤勇,张晶晶,李薛剑,孙恒飞,傅张军. 适用于视频图像中显著人体实例分割的方法. 201810498274. 实审.

(3) 方贤勇,丁成,汪粼波,王华彬,周健,李薛剑. 基于显著性的图像局部：觳夥椒. 201810498275. 实审.

三、软件著作权

(1) 澳门威斯尼人app手机版，高校图书馆个性化推荐系统,2017年；

(2) 澳门威斯尼人app手机版，高性能计算集群作业状态监控系统APP,2016年；

(3) 澳门威斯尼人app手机版，防雷监控平台系统，2014年；

(4) 澳门威斯尼人app手机版，图书编篡业务平台系统，2012年。

在研项目

(1)培训基地业务智能化信息管理平台，企业委托开发项目

(2)视频异常事件检测技术研究与系统开发，企业委托开发项目

(3)智慧监所实战平台开发，企业委托开发项目

获奖情况

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