基本情况
姓名：吕帅               
性别：男
职称：副教授
最高学历：研究生
最高学位：博士
电话：
Email：
备注：计算机楼B230室，QQ：
详细情况
所在学科专业：计算机软件与理论（国家重点学科）
所研究方向：人工智能、机器学习、自动推理
讲授课程：程序设计基础（原名：高级语言程序设计，国家精品课程、国家级精品资源共享课、国家精品在线开放课程）
人工智能基础
可计算性与计算复杂性
教育经历：2007.09-2010.06 吉林大学计算机科学与技术学院计算机软件与理论专业 推免博士生（导师：刘磊教授、孙吉贵教授）
2004.09-2007.06 吉林大学计算机科学与技术学院计算机软件与理论专业 硕士生（导师：孙吉贵教授、欧阳丹彤教授）
1999.09-2003.06 东北师范大学计算机科学系计算机科学与技术专业 本科生

工作经历：2016.11至今 吉林大学计算机科学与技术学院 硕士生导师
2015.09至今 吉林大学计算机科学与技术学院 副教授
2010.07-2015.09 吉林大学计算机科学与技术学院 讲师


2016.03-2019.06 吉林大学2015级理科试验班（唐敖庆计算机班） 班主任
2013.03-2014.09 吉林大学计算机科学与技术学院学术委员会 兼职秘书


————————我是华丽丽的分割线————————


【研究生招生】每年招收硕士生若干名，研究方向：自动推理与机器学习。其中：
1）计算机科学与技术学院，招生专业：081200计算机科学与技术、085211计算机技术；
2）软件学院，招生专业：083500软件工程、085212软件工程。
如果你希望在我的指导下攻读硕士学位，请发送你的简历和相关证明材料到信箱：lus@jlu.edu.cn。
1）简历，主要包括：学习水平（成绩，编程，英语）和科研经历（项目、论文、竞赛）；
2）相关证明材料（含成绩单）的电子扫描件。
如需要，将安排面谈、机试、研讨等环节进行深入沟通。
详情参见微信公众号：jlu_lus（自动推理与机器学习），如有任何问题，请随时联系我，电话、QQ均可！


目前指导的在读研究生：
张桐搏，计算机技术，2017级创新推免硕士生
徐玥，女，计算机技术，2017级硕士生
李俊劼，计算机软件与理论，2018级推免硕士生
刘京，软件工程（学术），2018级推免硕士生
韩帅，计算机软件与理论，2018级硕士生
于佳玉，软件工程（学术），2019级推免硕士生
张正昊，计算机技术，2019级推免硕士生
路笳艺，女，计算机软件与理论，2019级硕士生


指导和协助指导的毕业研究生：
魏唯，女，计算机软件与理论，2010级推免博士生，毕业去向：吉林大学教师
邹婷婷，女，计算机软件与理论，2010级博士生，毕业去向：大连海事大学教师
牛当当，计算机软件与理论，2015级博士生，毕业去向：西北农林科技大学教师
张鑫，女，计算机软件与理论，2011级推免硕士生，毕业去向：中国工商银行业务研发中心
刘冬清，计算机软件与理论，2011级推免硕士生，毕业去向：加拿大University of Montreal（蒙特利尔大学）博士生
牛当当，计算机软件与理论，2012级硕士生，毕业去向：吉林大学博士生
李壮，软件工程（专业），2012级硕士生，毕业去向：吉林大学博士生
杨洋，计算机软件与理论，2014级推免硕士生，毕业去向：华为技术有限公司
刘丰，计算机软件与理论，2014级推免硕士生，毕业去向：网易互动娱乐有限公司
王强，计算机软件与理论，2015级推免硕士生，毕业去向：阿里巴巴网络技术有限公司
李广力，计算机技术，2015级创新推免硕士生，毕业去向：中国科学院计算技术研究所博士生
王冠成，计算机软件与理论，2015级推免硕士生，毕业去向：北京大学博士生
贺甫霖，计算机技术，2016级硕士生，毕业去向：中车长春轨道客车股份有限公司
邹璐琨，计算机技术，2016级硕士生，毕业去向：中国银联股份有限公司

科研项目：
主持国家自然科学基金项目等科研项目9项，参加科研项目23项。
近年主持的科研项目：
[1] 国家自然科学基金：命题与模态逻辑的扩展规则推理与混合推理方法研究（**）
[2] 教育部高等学校博士学科点专项科研基金：命题逻辑和模态逻辑的扩展规则推理方法研究（059）
[3] 中国博士后科学基金面上资助项目：自动规划的逻辑约束机制研究（2011M500612）
[4] 吉林省自然科学基金项目：依赖知识编译的推理方法研究（JC）
[5] 吉林省青年科研基金项目：结合模态逻辑知识表示与推理的自动规划方法研究（JH）
[6] 技术开发项目：基于深度强化学习的推理系统开发（20**559）
近年骨干参加的科研项目：
[1] 国家重点研发计划项目：智能计算机编程方法（2017YFB**）
[2] 国家自然科学基金：基于扩展规则的SAT问题不完备求解方法研究（**）
[3] 国家自然科学基金：智能规划中基于路标的启发式搜索方法研究（**）
[4] 国家自然科学基金：面向构建过程的范畴学习模型及其适应性机制研究（**）
[5] 吉林省重点科技攻关项目：云环境下的编程模型研究（GX）
[6] 吉林省自然科学基金项目：面向大数据的知识表示和推理方法研究（JC）
[7] 吉林省自然科学基金项目：云环境下SaaS的安全问题研究（JC）
[8] 吉林省青年科研基金项目：基于随机游走策略的智能规划方法研究（JH）
学术论文：在《Journal of Experimental & Theoretical Artificial Intelligence》、《AI Communications》、《计算机学报》和《软件学报》等国内外期刊和会议上发表学术论文99篇，其中：SCI和EI检索学术论文65篇。
主要代表性学术论文：
[31] Niu Dangdang, Liu Lei, Lü Shuai*. Augmenting negation normal form with irrelevant variables. IEEE Access, 2019, 7: 91360-91366. (中科院JCR-2, SCI)
[30] Niu Dangdang, Liu Lei, Lü Shuai*, Xu Yue. Complementary knowledge compilation using the hyper extension rule. Chinese Journal of Electronics, 2019, 28(2): 259-265. (SCI)
[29] Zhou Wenbo, Liu Lei, Lü Shuai, Zhang Peng*. Toward formal modeling and verification of resource provisioning as a service in cloud. IEEE Access, 2019, 7: 26721-26730. (中科院JCR-2, SCI)
[28] Ren Junqi, Liu Lei, Liu Feng, Zhou Wenbo, Lü Shuai*. An executable specification of Map-Join-Reduce using Haskell. IEEE Access, 2019, 7: 10892-10904. (中科院JCR-2, SCI)
[27] Zhou Wenbo, Liu Lei, Zhang Peng*, Lü Shuai, Li Jingyao. SDAC: A model for analysis of the execution semantics of data processing framework in cloud. Computer Languages, Systems & Structures, 2018, 54: 406-426. (中科院JCR-3, CCF-C, SCI)
[26] 王强, 刘磊, 吕帅*. 基于扩展规则的启发式#SAT求解算法. 软件学报, 2018, 29(11): 3517-3527. (CCF中文-A)
[25] Niu Dangdang, Liu Lei, Lü Shuai*. Knowledge compilation methods based on the clausal relevance and extension rule. Chinese Journal of Electronics, 2018, 27(5): 1037-1042. (SCI)
[24] Niu Dangdang, Liu Lei, Lü Shuai*. New stochastic local search approaches for computing preferred extensions of abstract argumentation. AI Communications, 2018, 31(4): 369-382. (SCI)
[23] 杨洋, 刘磊, 李广力, 张桐搏, 吕帅*. 一种新的基于局部搜索的扩展规则推理方法. 计算机学报, 2018, 41(4): 825-839. (CCF中文-A)
[22] 牛当当, 刘磊, 吕帅*. EPCCL理论的并行知识编译算法. 电子学报, 2018, 46(3): 537-543. (CCF中文-A)
[21] 牛当当, 刘磊, 吕帅*. EPCCL理论的求交知识编译算法. 软件学报, 2017, 28(8): 2096-2112. (CCF中文-A)
[20] 郭德贵, 王冠成, 吕帅, 刘磊*. peC语言的部分求值器及在编译器测试中的应用. 软件学报, 2017, 28(5): 1221-1232. (CCF中文-A)
[19] Liu Lei, Yang Yang, Li Guangli, Wang Qi, Lü Shuai*. Redundancy checking algorithms based on parallel novel extension rule. Journal of Experimental & Theoretical Artificial Intelligence, 2017, 29(3): 629-647. (CCF-C, SCI)
[18] 刘磊, 牛当当, 吕帅*. 基于超扩展规则的知识编译方法. 计算机学报, 2016, 39(8): 1681-1696. (CCF中文-A)
[17] 魏唯, 欧阳丹彤*, 吕帅. 路标计数启发式引导的分解规划方法. 软件学报, 2013, 24(10): 2327-2339. (CCF中文-A)
[16] Liu Lei, Liu Dongqing, Lü Shuai*, Zhang Peng. An abstract description method of Map-Reduce-Merge using Haskell. Mathematical Problems in Engineering, 2013, Article ID 147593: 1-12. (中科院JCR-3, SCI)
[15] 魏唯, 欧阳丹彤*, 吕帅. 基于缩减信念状态的Conformant规划方法. 软件学报, 2013, 24(7): 1557-1570. (CCF中文-A)
[14] 吕帅, 刘磊*, 魏唯, 高冰冰. 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, 49(3): 607-619. (CCF中文-A)
[13] 刘磊, 张鹏, 吕帅, 张睿*. 基于演化传播模型的本体内聚程度分析. 电子学报, 2011, 39(8): 1845-1851. (CCF中文-A)
[12] 魏唯, 欧阳丹彤, 吕帅, 冯宇轩. 动态不确定环境下多目标路径规划方法. 计算机学报, 2011, 34(5): 836-846. (CCF中文-A)
[11] 吕帅, 刘磊*, 石莲, 魏唯, 杨超. 依赖公理约简的经典规划方法. 电子学报, 2011, 39(2): 322-328. (CCF中文-A)
[10] 魏唯, 欧阳丹彤, 吕帅, 殷明浩. 结合增量与启发式搜索的多目标问题处理方法. 计算机研究与发展, 2010, 47(11): 1954-1961. (CCF中文-A)
[9] 吕帅, 刘磊*, 江鸿, 史晶晶. 一种约简动作变元的命题规划编码方式. 计算机研究与发展, 2010, 47(10): 1756-1763. (CCF中文-A)
[8] 吕帅, 刘磊, 李莹, 石莲. 基于模态逻辑D公理系统的Conformant规划方法. 计算机研究与发展, 2009, 46(7): 1160-1168. (CCF中文-A)
[7] 吕帅, 刘磊*, 石莲, 李莹. 基于自动推理技术的智能规划方法. 软件学报, 2009, 20(5): 1226-1240. (CCF中文-A)
[6] 孙吉贵, 殷明浩*, 吕帅. JLU-RLAO和JLU-QLAO: 两个不确定智能规划求解系统. 计算机研究与发展, 2009, 46(4): 667-675. (CCF中文-A)
[5] 赖永, 欧阳丹彤*, 蔡敦波, 吕帅. 基于扩展规则的模型计数与智能规划方法. 计算机研究与发展, 2009, 46(3): 459-469. (CCF中文-A)
[4] Zhang Changsheng, Ning Jiaxu, Lü Shuai, Ouyang Dantong*, Ding Tienan. A novel hybrid differential evolution and particle swarm optimization algorithm for unconstrained optimization. Operations Research Letters, 2009, 37(2): 117-122. (SCI)
[3] 孙吉贵, 李莹, 朱兴军, 吕帅. 一种新的基于扩展规则的定理证明算法. 计算机研究与发展, 2009, 46(1): 9-14. (CCF中文-A)
[2] Shi Lian, Sun Jigui, Lü Shuai, Yin Minghao*. Flexible planning using fuzzy description logics: Theory and application. Applied Soft Computing, 2009, 9(1): 142-148. (中科院JCR-2, SCI)
[1] 杨宇鹏, 欧阳丹彤, 蔡敦波, 吕帅. 基于Conformant Fast-Forward规划系统的析取目标处理方法. 计算机研究与发展, 2008, 45(12): 2120-2128. (CCF中文-A)
注：按照国际惯例，*表示通讯作者。

获奖情况：获得全国商业科技进步一等奖3项，吉林省自然科学二等奖1项，吉林省科学技术进步三等奖2项。
[6] 吉林省自然科学二等奖：知识表示与特征选择方法研究（2017Z20001）
[5] 全国商业科技进步一等奖：形式化新方法及其在云计算中的应用（2016-1-54）
[4] 吉林省科学技术进步三等奖: 本体工程技术及其应用研究（2015J3G064）
[3] 全国商业科技进步一等奖: 形式化新方法与新技术及其在软件需求工程中的应用（2014-1-50）
[2] 吉林省科学技术进步三等奖: 高可信软件的安全开发与验证方法及其应用（2011J30057）
[1] 全国商业科技进步一等奖: 基于形式化方法的本体工程关键技术研究与应用（2010-1-16）
社会兼职：中国计算机学会理论计算机科学专业委员会委员
中国计算机学会形式化方法专业委员会首批委员
中国计算机学会教育专业委员会委员
中国人工智能学会机器博弈专业委员会委员
吉林省计算机学会理事
治学格言：宝剑锋从磨砺出，梅花香自苦寒来。——《警世贤文》之勤奋篇