导师简介
姓名:李薛剑 | 性别:男 | 出生年月: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大学生超级计算机竞赛获二等奖. |