欢迎浏览吕帅的主页!
【个人介绍】-【教学经历】-【教学工作】-【科研工作】-【招生需求】-【人才培养】- 【蓝桥杯大赛(吉林大学)组织情况】
吕帅,男,汉族,1981年07月生,吉林省公主岭市人。2005年11月加入中国共产党,2010年07月参加工作,任职于吉林大学计算机科学与技术学院、软件学院,工学博士、副教授、博士生导师。
1999年09月至2003年06月就读于东北师范大学计算机科学与技术专业,获理学学士学位;2004年09月至2007年06月就读于吉林大学计算机软件与理论专业,获工学硕士学位;2007年09月至2010年06月就读于吉林大学计算机软件与理论专业,获工学博士学位。2010年07月至今,任职于吉林大学计算机科学与技术学院、软件学院。2010年07月聘为讲师;2010年12月至2015年12月吉林大学数学博士后;2015年09月聘为副教授;2016年11月遴选为硕士生导师;2019年11月遴选为博士生导师。
现任中国计算机学会理论计算机科学专业委员会执行委员、中国计算机学会形式化方法专业委员会执行委员、中国计算机学会教育专业委员会执行委员、中国计算机学会高级会员、吉林省计算机学会理事。曾任中国人工智能学会机器博弈专业委员会委员。现任吉林大学软件工程专业负责人、吉林大学研究生培养指导委员会软件学院分委员会委员、蓝桥杯全国软件和信息技术专业人才大赛吉林大学竞赛项目负责人。曾任吉林大学软件学院教学委员会委员、吉林大学计算机科学与技术学院学术委员会秘书、吉林大学2015级理科试验班(唐敖庆计算机班)学业导师/班主任、吉林大学2020级工科试验班(软件工程)学业导师/班主任。
现任国家精品课程、国家级精品资源共享课、国家精品在线开放课程、国家级一流本科课程(线上一流课程)《高级语言程序设计》和国家级一流本科课程(线上线下混合式一流课程)《程序设计基础》的教学团队实践负责人,主要承担《程序设计基础》(原名:高级语言程序设计)、《人工智能基础》/《人工智能引论》、《计算理论》和《高级分布计算理论》等课程的教学工作。参加国家级教学改革项目4项,省部级教学改革项目2项,校级教学改革项目10项。在《计算机教育》上发表教研论文8篇。获得校级教学成果一等奖1项。获得吉林大学“三育人”先进个人荣誉称号、吉林大学本科课堂教学质量优秀奖2次。
主要研究领域为人工智能、机器学习与自动推理。主持国家自然科学基金项目等科研项目13项,参加科研项目28项。在AAAI、IJCAI、Information Sciences、Expert Systems with Applications、计算机学报、软件学报等国内外期刊和会议上发表学术论文133篇,其中:SCI和EI检索学术论文102篇。获得全国商业科技进步一等奖3项、二等奖1项,吉林省自然科学二等奖1项,吉林省科学技术进步三等奖2项。
联系方式:
- 单位:吉林大学计算机科学与技术学院、软件学院
- 地址:长春市前进大街2699号吉林大学王湘浩楼B230、B227室,130012
- 主页:lus-jlu.github.io
- 腾讯:1482563826(实名制,推荐联系方式)
- 邮箱:lus@jlu.edu.cn
- 手机:15948003088(10:00-22:00)
教学经历
【学习经历】
- 2007.09-2010.06,吉林大学计算机科学与技术学院计算机软件与理论专业,推免博士生(导师:刘磊教授、孙吉贵教授)
- 2004.09-2007.06,吉林大学计算机科学与技术学院计算机软件与理论专业,硕士生(导师:孙吉贵教授、欧阳丹彤教授)
- 1999.09-2003.06,东北师范大学计算机科学系计算机科学与技术专业,本科生(导师:邓安生教授)
【工作经历】
- 2019.11至今,吉林大学计算机科学与技术学院、软件学院,博士生导师
- 2016.11至今,吉林大学计算机科学与技术学院、软件学院,硕士生导师
- 2015.09至今,吉林大学计算机科学与技术学院、软件学院,副教授
- 2010.12-2015.12,吉林大学数学博士后科研流动站,博士后(合作导师:李勇教授)
- 2010.07-2015.09,吉林大学计算机科学与技术学院、软件学院,讲师
- 2022.06至今,蓝桥杯全国软件和信息技术专业人才大赛,吉林大学竞赛项目负责人【组织情况】
- 2021.10-2024.06,吉林大学2020级工科试验班(软件工程),学业导师/班主任
- 2021.06至今,吉林大学研究生培养指导委员会软件学院分委员会,委员
- 2021.01至今,吉林大学软件工程专业,专业负责人
- 2020.02-2024.03,吉林大学软件学院教学委员会,委员
- 2016.03-2019.06,吉林大学2015级理科试验班(唐敖庆计算机班),学业导师/班主任
- 2013.03-2014.09,吉林大学计算机科学与技术学院学术委员会,秘书
【社会兼职】
- 中国计算机学会理论计算机科学专业委员会,执行委员
- 中国计算机学会形式化方法专业委员会,执行委员
- 中国计算机学会教育专业委员会,执行委员
- 吉林省计算机学会,理事
- 国家自然科学基金,评审
- 学术期刊论文评审
- Applied Soft Computing
- Expert Systems with Applications
- Frontiers of Computer Science
- IEEE Transactions on Neural Networks and Learning Systems
- Information Processing and Management
- Information Sciences
- Knowledge-Based Systems
- Science China Information Sciences
- 计算机学报
- 软件学报
- 电子学报
- 自动化学报
- 学术会议论文评审
- AAAI (PC, Reviewer)
- ICLR (Reviewer)
- ICML (Reviewer)
- KDD (Reviewer)
- NeurIPS (Reviewer)
【治学格言】宝剑锋从磨砺出,梅花香自苦寒来。——《警世贤文》之勤奋篇
【主讲课程】
- 《程序设计基础》(原名:高级语言程序设计)(2010.07至今,现为教学团队实践负责人)
- 课程性质:学科基础必修课
- 授课对象:计算机科学与技术学院、软件学院、网络安全学院,本科生
- 国家精品课程《高级语言程序设计》(2009年)
- 吉林省优秀教学团队《高级语言程序设计与实现技术》(2010年)
- 国家级精品资源共享课《高级语言程序设计》(2013年)
- 国家精品在线开放课程《高级语言程序设计》(2019年)
- 国家级一流本科课程(线上一流课程)《高级语言程序设计》(2020年)
- 国家级一流本科课程(线上线下混合式一流课程)《程序设计基础》(2020年)
- 《人工智能基础》/《人工智能引论》(2017.02至今)
- 课程性质:专业教育必修课、专业教育限选课、专业教育选修课
- 授课对象:计算机科学与技术学院、软件学院,本科生
- 《计算理论》(原名:可计算性与计算复杂性)(2017.09至今)
- 课程性质:专业必修课
- 授课对象:计算机科学与技术学院、软件学院,硕士生
- 《高级分布计算理论》(2021.09至今)
- 课程性质:专业选修课
- 授课对象:计算机科学与技术学院,博士生
【教研论文】在《计算机教育》上发表教研论文8篇。
- 陈娟, 贾海洋, 邓春燕, 吕帅. 工程教育认证背景下基于FD-QM标准的程序设计基础课程教学设计与实践. 计算机教育, 2024, 5: 82-87. (CCF推荐中文C类期刊)
- 陈娟, 邓春燕, 吕帅, 贾海洋, 张长海. 程序设计基础课程形成性评价的设计与实践. 计算机教育, 2023, 3: 61-64. (CCF推荐中文C类期刊)
- 陈娟, 邓春燕, 张晓旭, 吕帅, 贾海洋, 张长海. 程序设计基础课程的思政元素与教学实践. 计算机教育, 2022, 3: 106-111. (CCF推荐中文C类期刊)
- 陈娟, 邓春燕, 吕帅, 李河, 张长海. 程序设计基础混合式教学实践与思考. 计算机教育, 2019, 8: 126-131. (CCF推荐中文C类期刊)
- 邓春燕, 周治国*, 陈娟, 吕帅. 工程教育认证背景下程序设计基础课程设计教学改革与实践. 计算机教育, 2019, 5: 68-72. (CCF推荐中文C类期刊)
- 李占山, 吕帅*. 基于计算思维与创新能力培养的计算理论课程教学改革探索. 计算机教育, 2019, 1: 21-24. (CCF推荐中文C类期刊)
- 吕帅, 王强强*, 郭德贵, 金京姬. 实践教学中的开放性创新实验项目探索. 计算机教育, 2017, 3: 29-32. (CCF推荐中文C类期刊)
- 吕帅, 刘磊*, 张睿, 郭德贵. 计算机学科研究生科研基础的建立模式. 计算机教育, 2012, 23: 22-24. (CCF推荐中文C类期刊)
【荣誉称号】
- 2016年,吉林大学“三育人”先进个人荣誉称号
- 2018-2019学年,吉林大学本科课堂教学质量优秀奖
- 2022-2023学年,吉林大学本科课堂教学质量优秀奖
【研究方向】人工智能、机器学习与自动推理
【科研项目】主持国家自然科学基金项目等科研项目13项,参加科研项目28项。
- 国家重点研发计划项目:智能计算机编程方法
- 国家自然科学基金项目:智能规划中基于路标的启发式搜索方法研究
- 国家自然科学基金项目:面向构建过程的范畴学习模型及其适应性机制研究
- 国家自然科学基金项目:命题与模态逻辑的扩展规则推理与混合推理方法研究
- 国家自然科学基金项目:本体演化中若干问题的研究
- 国家自然科学基金项目:扩展规则推理方法研究
- 国家自然科学基金项目:约束推理与约束程序
- 国家自然科学基金项目:非经典逻辑的自动推理
- 教育部高等学校博士学科点专项科研基金项目:命题逻辑和模态逻辑的扩展规则推理方法研究
- 教育部高等学校博士学科点专项科研基金项目:交通控制动态子区智能规划理论与方法研究
- 教育部高等学校博士学科点专项科研基金项目:基于进程演算的本体演化研究
- 教育部高等学校博士学科点专项科研基金项目:不确定智能规划理论与方法
- 中国博士后科学基金项目:自动规划的逻辑约束机制研究
- 吉林省重点科技攻关项目:云环境下的编程模型研究
- 吉林省自然科学基金项目:基于样本效率优化的深度强化学习方法研究
- 吉林省自然科学基金项目:面向大数据的知识表示和推理方法研究
- 吉林省自然科学基金项目:依赖知识编译的推理方法研究
- 吉林省自然科学基金项目:云环境下SaaS的安全问题研究
- 吉林省青年科研基金项目:基于随机游走策略的智能规划方法研究
- 吉林省青年科研基金项目:结合模态逻辑知识表示与推理的自动规划方法研究
- 教育部重点实验室开放基金项目:伪布尔求解与优化问题的局部搜索算法研究
- 教育部重点实验室开放基金项目:智能规划问题问题结构研究
- 教育部重点实验室开放基金项目:本体技术在海战场指挥决策中的应用研究
- 教育部重点实验室开放基金项目:基于群智能算法的多目标混合流水车间调度问题研究
- 教育部重点实验室开放基金项目:智能规划和自动推理问题中相变规律和解结构分析
- 省级重点实验室开放基金项目:协同服务建模及其验证方法研究
- 技术开发项目:数字化场景建模与管理系统开发
- 技术服务项目:车联网信息安全前瞻技术咨询与培训
- 技术开发项目:智能座舱域控制器预研项目
- 技术开发项目:基于深度强化学习的推理系统开发
- 技术开发项目:无线电传播模型计算软件设计与开发
- 技术开发项目:具备平台自适应性的SIMD编译优化系统的设计与开发
- 技术开发项目:无线电管理领域知识库数据录入及测试
- 技术开发项目:山西省监测站管理与覆盖分析系统
DBLP: Shuai Lv 0001 (aka: Shuai Lü 0001, Shuai Lu 0001)
ORCID: 0000-0002-8081-4498
目前处于评审阶段的学术论文:
- Zhong Taihong, Lü Shuai*, Lin Dajun, An Daolong. Mild conservatism Q-learning with adaptive Q-ensemble. 2024. (Submitted)
- Wu Junhong, Liu Jie, Lü Shuai*. Alternate data augmentation for generalization in reinforcement learning. 2024. (Submitted)
- Zhu Wenbo, Xiao Wei, Lü Shuai*. Soft-penalty guided exploration in reinforcement learning. 2024. (Submitted)
- Long Zehong, Zhu Wenbo, Zhang Yushu, Lü Shuai*, Lin Dajun. Efficient exploration via state distribution discrepancy maximization in deep reinforcement learning. 2024. (Submitted)
- Zhou Ruikai, Li Songlin, Lü Shuai*. From simple to complex: Mitigating the impact of critic accuracy fluctuations by multi-agent. 2024. (Submitted)
- Zhou Ruikai, Zhong Taihong, Li Songlin, Lü Shuai*. A Kullback-Leibler divergence perspective on policy gradient methods. 2024. (Submitted)
- Xiong Xi, Shen Chun, Wu Junhong, Lü Shuai*, Zhang Xiaodan. Combined data augmentation framework for generalizing deep reinforcement learning from pixels. 2024. (Submitted)
- Wu Junhong, Liu Jie, Xiong Xi, An Daolong, Lü Shuai*. Focus on primary: Differential diverse data augmentation for generalization in visual reinforcement learning. 2024. (Submitted)
- Zhang Yushu, Shen Chun, An Daolong, Wu Junhong, Lü Shuai*. Reinforcement learning with extreme minimum distribution. 2024. (Submitted)
- Shu Man, Lü Shuai*, Gong Xiaoyu, An Daolong, Li Songlin. Double actor-critic with episodic memory. 2024. (Submitted)
- Zhu Wenbo, Lü Shuai*, Long Zehong, Wu Junhong. Feature distillation for exploration in reinforcement learning. 2023. (Submitted)
- Ma Qiang, Lü Shuai, Zhang Shaojie, Wu Junhong, Zhou Wenbo*. Contrastive label self-correction for unsupervised domain adaption. 2024. (Submitted)
- Zhou Ruikai, Zhong Taihong, Zhu Wenbo, Han Shuai, Lü Shuai*. Influence of Gaussian distribution on performance metrics in continuous reinforcement learning: A case study. 2024. (Submitted)
- Zhong Taihong, Han Shuai, Zhang Yushu, Long Zehong, Lü Shuai*, Wu Junhong. TATRC: Triple actor-critic structure with regularization for better performance. 2024. (Submitted)
- Long Zehong, Zhu Wenbo, Lü Shuai*, Wu Junhong, Zhong Taihong. Breaking the sample efficiency barrier by rethinking experience replay. 2024. (Submitted)
- Zheng Mingsheng, Zhang Junwei, Zhan Changshuai, Ren Xinyu, Lü Shuai*. Proximal policy optimization with reward-based prioritization. 2023. (Submitted)
- Zhang Zeyu, Shen Chun, Ma Qiang, Kang Meng, Lü Shuai*. Prototype-driven active domain adaptation with density consideration. 2024. (Submitted)
- Zhou Ruikai, Zhu Wenbo, Han Shuai, Kang Meng, Lü Shuai*. Online reinforcement learning exploration method based on visitation count of state-action pairs. 2023. (Submitted)
- Lü Shuai, Zhang Xinyu, Li Zongze, Li Jingyao*, Kang Meng. Bi-classifier with neighborhood aggregation for unsupervised domain adaptation. 2024. (Submitted)
- Zhu Sheng, Wu Hao, Shen Chun, Zhu Wenbo, Han Shuai, Lü Shuai*. Actor-critic of multi-agent collaboration on single-agent task. 2024. (Submitted)
- Li Junjie, Lü Shuai, Li Jingyao, Zhou Wenbo*. IE-GAN: An improved evolutionary generative adversarial network using a new fitness function and a generic crossover operator. 2024. (Submitted)
主要代表性学术论文:
- Zhang Zeyu, Shen Chun, Lü Shuai*, Zhang Shaojie. Reconfigurability-aware selection for contrastive active domain adaptation. In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Jeju Island, South Korea, August 3-9, 2024, 5545-5553. (CCF推荐A类会议) 【原文链接】
- Lü Shuai, Kang Meng, Li Ximing*. Alleviating imbalanced pseudo-label distribution: Self-supervised multi-source domain adaptation with label-specific confidence. In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Jeju Island, South Korea, August 3-9, 2024, 4669-4677. (CCF推荐A类会议) 【原文链接】
- Zhu Sheng, Shen Chun, Lü Shuai*, Wu Junhong, An Daolong. Double buffers CEM-TD3: More efficient evolution and richer exploration. In: Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, Canada, February 20-27, 2024, 17193-17201. (CCF推荐A类会议) 【原文链接】
- Zhang Xinyu, Kang Meng, Lü Shuai*. Low category uncertainty and high training potential instance learning for unsupervised domain adaptation. In: Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, Canada, February 20-27, 2024, 16881-16889. (CCF推荐A类会议) 【原文链接】
- Zhang Shaojie, Shen Chun, Lü Shuai*, Zhang Zeyu. Reviewing the forgotten classes for domain adaptation of black-box predictors. In: Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), Vancouver, Canada, February 20-27, 2024, 16830-16837. (CCF推荐A类会议) 【原文链接】
- Gong Xiaoyu, Lü Shuai*, Yu Jiayu, Zhu Sheng, Li Zongze. Adaptive estimation Q-learning with uncertainty and familiarity. In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Macao, China, August 19-25, 2023, 3750-3758. (CCF推荐A类会议) 【原文链接】
- Yu Jiayu, Li Jingyao, Lü Shuai*, Han Shuai. Mixed experience sampling for off-policy reinforcement learning. Expert Systems with Applications, 2024, 251: 124017. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, 目前IF: 7.5)
- Lü Shuai, Zhang Tongbo, Xu Yue, Zhou Wenbo, Lai Yong*. Combining bounded solving and controllable randomization for approximate model counting. Journal of Experimental & Theoretical Artificial Intelligence, 2024. (中科院4区期刊, CCF推荐C类期刊, SCI, 目前IF: 1.7)
- Lü Shuai, Li Zongze, Zhang Xinyu, Li Jingyao*. Consistency regularization-based mutual alignment for source-free domain adaptation. Expert Systems with Applications, 2024, 241: 122577. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, 目前IF: 7.5)
- Zhang Junwei, Han Shuai, Xiong Xi, Zhu Sheng, Lü Shuai*. Explorer-Actor-Critic: Better actors for deep reinforcement learning. Information Sciences, 2024, 662: 120255. (中科院1区TOP期刊, CCF推荐B类期刊, SCI)
- Shen Chun, Zhu Sheng, Han Shuai, Gong Xiaoyu, Lü Shuai*. Guided deterministic policy optimization with gradient-free policy parameters information. Expert Systems with Applications, 2023, 231: 120693. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 7.5)
- Han Shuai, Zhou Wenbo, Lü Shuai*, Zhu Sheng, Gong Xiaoyu. Entropy regularization methods for parameter space exploration. Information Sciences, 2023, 622: 476-489. (中科院1区TOP期刊, CCF推荐B类期刊, SCI)
- 张峻伟, 吕帅*, 张正昊, 于佳玉, 龚晓宇. 基于样本效率优化的深度强化学习方法综述. 软件学报, 2022, 33(11): 4217-4238. (CCF推荐中文A类期刊)
- Lu Jiayi, Han Shuai, Lü Shuai*, Kang Meng, Zhang Junwei. Sampling diversity driven exploration with state difference guidance. Expert Systems with Applications, 2022, 203: 117418. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.5)
- Han Shuai, Zhou Wenbo, Lu Jiayi, Liu Jing, Lü Shuai*. NROWAN-DQN: A stable noisy network with noise reduction and online weight adjustment for exploration. Expert Systems with Applications, 2022, 203: 117343. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.5)
- Zhang Junwei, Zhang Zhenghao, Han Shuai, Lü Shuai*. Proximal policy optimization via enhanced exploration efficiency. Information Sciences, 2022, 609: 750-765. (中科院1区TOP期刊, CCF推荐B类期刊, SCI, IF: 8.1)
- Li Jingyao, Lü Shuai, Li Zhanshan*. Unsupervised domain adaptation via softmax-based prototype construction and adaptation. Information Sciences, 2022, 609: 257-275. (中科院1区TOP期刊, CCF推荐B类期刊, SCI, IF: 8.1)
- 吕帅, 龚晓宇, 张正昊, 韩帅, 张峻伟. 结合进化算法的深度强化学习方法研究综述. 计算机学报, 2022, 45(7): 1478-1499. (CCF推荐中文A类期刊)
- Li Jingyao, Lü Shuai, Zhu Wenbo, Li Zhanshan*. Enhancing transferability and discriminability simultaneously for unsupervised domain adaptation. Knowledge-Based Systems, 2022, 247: 108705. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.8)
- Gong Xiaoyu, Yu Jiayu, Lü Shuai*, Lu Hengwei. Actor-critic with familiarity-based trajectory experience replay. Information Sciences, 2022, 582: 633-647. (中科院1区TOP期刊, CCF推荐B类期刊, SCI, IF: 8.1)
- 李壮, 刘磊, 张桐搏, 周文博, 吕帅*. 基于局部搜索的并行扩展规则推理方法. 软件学报, 2021, 32(9): 2744-2754. (CCF推荐中文A类期刊)
- Li Junjie, Zhang Junwei, Gong Xiaoyu, Lü Shuai*. Evolutionary generative adversarial networks with crossover based knowledge distillation. In: Proceedings of the International Joint Conference on Neural Networks (IJCNN 2021), Virtual Event, July 18-22, 2021, 1-8. (CCF推荐C类会议)
- Li Jingyao, Li Zhanshan, Lü Shuai*. Feature concatenation for adversarial domain adaptation. Expert Systems with Applications, 2021, 169: 114490. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.665)
- Lü Shuai*, Han Shuai, Zhou Wenbo, Zhang Junwei. Recruitment-imitation mechanism for evolutionary reinforcement learning. Information Sciences, 2021, 553: 172-188. (中科院1区TOP期刊, CCF推荐B类期刊, SCI, IF: 8.233)
- Li Jingyao, Li Zhanshan, Lü Shuai*. Unsupervised double weighted domain adaptation. Neural Computing and Applications, 2021, 33(8): 3545-3566. (中科院2区期刊, CCF推荐C类期刊, SCI, IF: 5.102)
- Han Shuai, Zhou Wenbo, Lü Shuai*, Yu Jiayu. Regularly updated deterministic policy gradient algorithm. Knowledge-Based Systems, 2021, 214: 106736. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.139)
- Zhang Lei, Han Shuai, Zhang Zhiruo, Li Lefan, Lü Shuai*. Deep recurrent deterministic policy gradient for physical control. In: Proceedings of the 29th International Conference on Artificial Neural Networks (ICANN 2020), Bratislava, Slovakia, September 15-18, 2020, LNCS 12397, 257-268. (CCF推荐C类会议)
- 贺甫霖, 刘磊, 吕帅*, 牛当当, 王强. 基于格局检测的模型计数方法. 软件学报, 2020, 31(2): 395-405. (CCF推荐中文A类期刊)
- 王强, 刘磊, 吕帅*. 基于扩展规则的启发式#SAT求解算法. 软件学报, 2018, 29(11): 3517-3527. (CCF推荐中文A类期刊)
- 杨洋, 刘磊, 李广力, 张桐搏, 吕帅*. 一种新的基于局部搜索的扩展规则推理方法. 计算机学报, 2018, 41(4): 825-839. (CCF推荐中文A类期刊)
- 牛当当, 刘磊, 吕帅*. EPCCL理论的并行知识编译算法. 电子学报, 2018, 46(3): 537-543. (CCF推荐中文A类期刊)
- 牛当当, 刘磊, 吕帅*. EPCCL理论的求交知识编译算法. 软件学报, 2017, 28(8): 2096-2112. (CCF推荐中文A类期刊)
- 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. (中科院4区期刊, CCF推荐C类期刊, SCI, IF: 1.011)
- 刘磊, 牛当当, 吕帅*. 基于超扩展规则的知识编译方法. 计算机学报, 2016, 39(8): 1681-1696. (CCF推荐中文A类期刊)
- 吕帅, 刘磊*, 魏唯, 高冰冰. 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, 49(3): 607-619. (CCF推荐中文A类期刊)
- 吕帅, 刘磊*, 石莲, 魏唯, 杨超. 依赖公理约简的经典规划方法. 电子学报, 2011, 39(2): 322-328. (CCF推荐中文A类期刊)
- 吕帅, 刘磊*, 江鸿, 史晶晶. 一种约简动作变元的命题规划编码方式. 计算机研究与发展, 2010, 47(10): 1756-1763. (CCF推荐中文A类期刊)
- 吕帅, 刘磊, 李莹, 石莲. 基于模态逻辑D公理系统的Conformant规划方法. 计算机研究与发展, 2009, 46(7): 1160-1168. (CCF推荐中文A类期刊)
- 吕帅, 刘磊*, 石莲, 李莹. 基于自动推理技术的智能规划方法. 软件学报, 2009, 20(5): 1226-1240. (CCF推荐中文A类期刊)
注:按照国际惯例,*表示通讯作者。
【发明专利】授权发明专利1项。
- 吕帅, 龙泽泓, 钟太鸿, 林炟君. 一种基于SAC强化学习算法的智能运动控制方法. (专利号: ZL 2024 1 0726196.6, 授权公告日: 2024.08.13)
【科研获奖】获得全国商业科技进步一等奖3项、二等奖1项,吉林省自然科学二等奖1项,吉林省科学技术进步三等奖2项。
- 全国商业科技进步二等奖:形式化新技术及其在软件智能化开发过程中的应用研究
- 吉林省自然科学二等奖:知识表示与特征选择方法研究
- 全国商业科技进步一等奖:形式化新方法及其在云计算中的应用
- 吉林省科学技术进步三等奖:本体工程技术及其应用研究
- 全国商业科技进步一等奖:形式化新方法与新技术及其在软件需求工程中的应用
- 吉林省科学技术进步三等奖:高可信软件的安全开发与验证方法及其应用
- 全国商业科技进步一等奖:基于形式化方法的本体工程关键技术研究与应用
招生需求
【团队介绍】
- 机器学习与自动推理科研团队隶属于吉林大学计算机科学与技术学院,成员主要来自于吉林大学计算机科学与技术学院、软件学院的研究生、高年级本科生。
- 2010年至今,科研团队已培养博士6人、硕士30人。现有成员包括博士生2人、硕士生20人、本科生若干。
- 负责:吕帅,副教授、博士生导师
- 办公:吉林大学王湘浩楼B230、B227室
【本科生科研训练】
- 基本要求
- 本科专业:计算机类(0809)下属的所有专业。计算机类(0809)下属专业包括:计算机科学与技术、软件工程、物联网工程、数据科学与大数据技术、网络空间安全等专业,以及对应的各类试验班。
- 本科学业:获得国奖、励志、校一、校二或相应级别的学业奖学金。
- 编程能力:熟练运用C或Python。
- 破格条件
- 竞赛水平:获得国一、国二、省一或相应级别的学科竞赛奖励,可不受其他条件限制。
【研究生招生需求】
- 博士招生专业
- 计算机科学与技术学院,081202计算机软件与理论(学术学位)
- 硕士招生专业
- 计算机科学与技术学院,081200计算机科学与技术(学术学位)
- 计算机科学与技术学院,085404计算机技术(专业学位)
- 软件学院,083500软件工程(学术学位)
- 软件学院,085405软件工程(专业学位)
- 基本要求
- 本科专业:计算机类(0809)下属的所有专业。计算机类(0809)下属专业包括:计算机科学与技术、软件工程、物联网工程、数据科学与大数据技术、网络空间安全等专业,以及对应的各类试验班。
- 本科学业:获得国奖、励志、校一、校二或相应级别的学业奖学金。
- 编程能力:熟练运用C或Python。
- 竞赛水平:获得国一、国二、省一或相应级别的学科竞赛奖励。
- 破格条件
【申报方式】
如果你希望从事机器学习领域的科学研究,请发送你的简历、成绩单和相关证明材料到信箱:lus@jlu.edu.cn。如需要,将安排面试、机试、研讨等环节进行深入沟通。
- 简历(限A4纸1-2页),主要涵盖:学业、英语、编程、竞赛。
- 成绩单和相关证明材料。
人才培养
【目前指导和协助指导的在读研究生】【详细情况】
- 周瑞凯,2020级博士生
- 方文思,2024级博士生
- 朱文博,2022级推免硕士生,获吉林大学优秀本科毕业论文、研究生新生奖学金
- 张鑫宇,2022级推免硕士生,获吉林大学优秀本科毕业论文、研究生新生奖学金、南瑞继保奖学金,在AAAI 2024发表学术论文1篇
- 张泽宇,2022级推免硕士生,获中国研究生数学建模竞赛国家级一等奖、浪潮奖学金,在IJCAI 2024发表学术论文1篇
- 林炟君,2022级推免硕士生
- 张少杰,2022级推免硕士生,获中国研究生数学建模竞赛国家级一等奖,在AAAI 2024发表学术论文1篇
- 钟太鸿,2022级推免硕士生
- 吴珺泓,2022级推免硕士生,获中国研究生数学建模竞赛国家级一等奖、研究生学术业绩三等奖学金
- 安道龙,2022级硕士生
- 李松霖,2023级推免硕士生,获吉林大学优秀本科毕业论文
- 袁健会,2023级硕士生
- 肖威,2023级硕士生
- 李贵祥,2024级推免硕士生
- 吴昊,2024级推免硕士生
- 孙耕浩,2024级推免硕士生
- 章晓丹,2024级推免硕士生
- 陈黄洋,2024级推免硕士生
- 张涛,2024级推免硕士生
- 檀磊,2024级推免硕士生
- 侯志斌,2024级硕士生
- 张顺浩,2024级硕士生
- 巩锦程,2025级推免硕士生
- 甄德杰,2025级推免硕士生
【2010年至今指导和协助指导的毕业研究生】【详细情况】
- 魏唯,2010级推免博士生,获研究生国家奖学金、吉林大学优秀毕业研究生,在计算机学报、软件学报、计算机研究与发展发表学术论文4篇,毕业去向:[长春] 吉林大学教师,现为吉林大学副教授
- 邹婷婷,2010级博士生,毕业去向:[辽宁大连] 大连海事大学教师,现为大连海事大学副教授、硕士生导师
- 牛当当,2012级硕士生、2015级博士生,获吉林大学优秀硕士学位论文、吉林省优秀硕士学位论文、浪潮奖学金、研究生国家奖学金、吉林大学优秀博士学位论文、研究生学术业绩三等奖学金,在计算机学报、软件学报、电子学报发表学术论文3篇,毕业去向:[陕西杨凌] 西北农林科技大学教师,现为西北农林科技大学副教授、硕士生导师
- 李壮,2012级硕士生、2015级博士生,在软件学报发表学术论文1篇,毕业去向:[吉林吉林] 东北电力大学教师,现为东北电力大学副教授、硕士生导师
- 周文博,2017级博士生,[法国] Paris-Saclay University(巴黎萨克雷大学)国家公派联合培养博士生,获全国大学生软件测试大赛国家级一等奖、浪潮奖学金、吉林大学优秀毕业研究生、研究生国家奖学金、研究生学术业绩三等奖学金,毕业去向:[长春] 东北师范大学教师
- 李静瑶,2018级推免博士生,获研究生学术业绩二等奖学金、研究生学术业绩二等奖学金,在Information Sciences、Expert Systems with Applications、Knowledge-Based Systems发表学术论文3篇,毕业去向:[长春] 吉林大学教师
- 张鑫,2011级推免硕士生,毕业去向:[北京] 中国工商银行业务研发中心
- 刘冬清,2011级推免硕士生,获研究生国家奖学金、吉林大学优秀硕士学位论文、吉林省优秀硕士学位论文、吉林大学优秀毕业研究生,毕业去向:[法国] University of Technology of Troyes(特鲁瓦技术大学)、[加拿大] University of Montreal(蒙特利尔大学)国家公派博士生,现为郑州大学附属第一医院科研人员
- 杨洋,2014级推免硕士生,获吉林大学优秀本科毕业论文、研究生新生奖学金、全国研究生数学建模竞赛国家级二等奖、三星奖学金、研究生国家奖学金、吉林大学优秀硕士学位论文、吉林省优秀硕士学位论文、吉林大学优秀毕业研究生、吉林大学十佳研究生,在计算机学报发表学术论文1篇,毕业去向:[南京] 华为技术有限公司
- 刘丰,2014级推免硕士生,获研究生新生奖学金、吉林大学优秀毕业研究生,毕业去向:[杭州] 网易互动娱乐有限公司
- 王强,2015级推免硕士生,获研究生新生奖学金、全国研究生数学建模竞赛国家级二等奖、CCF大数据与计算智能大赛三等奖(第4/740名)、华为奖学金、研究生国家奖学金、吉林大学优秀毕业研究生,在软件学报发表学术论文1篇,毕业去向:[北京] 阿里巴巴网络技术有限公司
- 李广力,2015级创新人才推免硕士生,获吉林大学优秀本科毕业论文、全国研究生数学建模竞赛国家级二等奖、研究生新生奖学金、全国研究生数学建模竞赛国家级二等奖、研究生国家奖学金、奇虎360奖学金、中国研究生数学建模竞赛国家级二等奖、吉林大学优秀毕业研究生,毕业去向:[北京] 中国科学院计算技术研究所博士生,现为中国科学院计算技术研究所科研人员
- 王冠成,2015级推免硕士生,获研究生新生奖学金、全国研究生数学建模竞赛国家级二等奖、华为奖学金、研究生国家奖学金、吉林大学优秀硕士学位论文、吉林大学优秀毕业研究生,在软件学报发表学术论文1篇,毕业去向:[北京] 北京大学博士生
- 贺甫霖,2016级硕士生,获吉林大学优秀本科毕业论文、研究生国家奖学金、研究生学术业绩三等奖学金,在软件学报发表学术论文1篇,毕业去向:[长春] 中车长春轨道客车股份有限公司,现为中国科学院沈阳自动化研究所科研人员
- 邹璐琨,2016级硕士生,毕业去向:[上海] 中国银联股份有限公司
- 张桐搏,2017级创新人才推免硕士生,获吉林大学优秀本科毕业论文、中国研究生数学建模竞赛国家级二等奖、研究生新生奖学金、吉林大学优秀毕业研究生,毕业去向:[北京] 微软亚洲互联网工程院
- 徐玥,2017级硕士生,获中国研究生数学建模竞赛国家级二等奖、研究生新生奖学金、吉林大学优秀毕业研究生,毕业去向:[北京] FreeWheel公司
- 李俊劼,2018级推免硕士生,获研究生新生奖学金,毕业去向:[广东深圳] 哈尔滨工业大学(深圳)博士生
- 刘京,2018级推免硕士生,获研究生新生奖学金、吉林大学优秀毕业研究生,毕业去向:[北京] 华为技术有限公司2012实验室
- 韩帅,2018级硕士生,获吉林大学优秀硕士学位论文、吉林省优秀硕士学位论文、吉林大学优秀毕业研究生、研究生学术业绩二等奖学金,在Information Sciences、Expert Systems with Applications、Knowledge-Based Systems发表学术论文4篇,毕业去向:[荷兰] Utrecht University(乌特勒支大学)国家公派博士生
- 于佳玉,2019级推免硕士生,获吉林大学优秀本科毕业论文、研究生新生奖学金,在Expert Systems with Applications发表学术论文1篇,毕业去向:[广东深圳] 深圳市腾讯计算机系统有限公司
- 张正昊,2019级推免硕士生,获研究生新生奖学金,毕业去向:[北京] 北京字节跳动科技有限公司
- 路笳艺,2019级硕士生,获吉林大学优秀硕士学位论文、吉林大学优秀毕业研究生,在Expert Systems with Applications发表学术论文1篇,毕业去向:[长春] 北京经纬恒润科技股份有限公司
- 张峻伟,2020级推免硕士生,获吉林大学优秀本科毕业论文、中国研究生数学建模竞赛国家级三等奖、研究生新生奖学金、解放领航奖学金、研究生国家奖学金、南瑞继保奖学金、研究生学术业绩二等奖学金、吉林大学优秀硕士学位论文、吉林大学优秀毕业研究生,在Information Sciences、软件学报发表学术论文3篇,毕业去向:[北京] 天翼云科技有限公司
- 李宗泽,2020级硕士生,获吉林大学优秀本科毕业论文、中国研究生数学建模竞赛国家级三等奖,在Expert Systems with Applications发表学术论文1篇,毕业去向:[上海] 北京酷克数据科技有限公司
- 康勐,2020级硕士生,获吉林大学优秀本科毕业论文、中国研究生数学建模竞赛国家级三等奖,在IJCAI 2024发表学术论文1篇,毕业去向:[北京] 北京京东世纪贸易有限公司
- 龚晓宇,2020级创新人才推免硕士生,获研究生新生奖学金、吉林银行王湘浩奖学金、研究生国家奖学金、研究生学术业绩二等奖学金、吉林大学优秀毕业研究生、研究生学术业绩一等奖学金,在IJCAI 2023、Information Sciences、计算机学报发表学术论文3篇,毕业去向:[上海] 中信证券股份有限公司
- 朱盛,2020级硕士生,获研究生学术业绩二等奖学金,在AAAI 2024、Expert Systems with Applications发表学术论文2篇,毕业去向:[北京] 北京蓝色创想网络科技有限责任公司
- 熊玺,2021级硕士生,毕业去向:[山东青岛] 青岛市工业和信息化局
- 龙泽泓,2021级硕士生,毕业去向:[XX] XXXX大学教师
- 舒曼,2021级硕士生,毕业去向:[长春] 中国科学院长春光学精密机械与物理研究所
- 张玉树,2021级硕士生,毕业去向:[济南] 神思电子技术股份有限公司
- 马强,2021级硕士生,毕业去向:[杭州] 浙江大华技术股份有限公司
- 罗敬,2021级硕士生,毕业去向:[北京] 北京字节跳动科技有限公司
【指导学生获得奖励、荣誉、称号】
研究生国家奖学金(奖金额度和遴选比例:博士生3万元,约2.4%;硕士生2万元,约1.8%)
- 2012年度:魏唯
- 2013年度:刘冬清
- 2016年度:杨洋,李广力
- 2017年度:牛当当,王强,王冠成
- 2018年度:贺甫霖
- 2019年度:周文博
- 2022年度:张峻伟,龚晓宇
研究生社会奖学金
- 2015年度:杨洋(三星奖学金)
- 2016年度:牛当当(浪潮奖学金)
- 2016年度:周文博(浪潮奖学金)
- 2016年度:王强(华为奖学金)
- 2016年度:李广力(奇虎360奖学金)
- 2016年度:王冠成(华为奖学金)
- 2021年度:张峻伟(解放领航奖学金)
- 2021年度:龚晓宇(吉林银行王湘浩奖学金)
- 2022年度:张峻伟(南瑞继保奖学金)
- 2023年度:张泽宇(浪潮奖学金)
- 2023年度:张鑫宇(南瑞继保奖学金)
研究生学术业绩奖学金(2019年开始设立,奖金额度:一等2万元,二等1万元,三等0.5万元)
- 2019年度:牛当当(三等奖学金)
- 2020年度:李静瑶(二等奖学金)
- 2020年度:贺甫霖(三等奖学金)
- 2020年度:周文博(三等奖学金)
- 2021年度:韩帅(二等奖学金)
- 2022年度:李静瑶(二等奖学金)
- 2022年度:张峻伟(二等奖学金)
- 2022年度:龚晓宇(二等奖学金)
- 2022年度:吴珺泓(三等奖学金)
- 2023年度:龚晓宇(一等奖学金)
- 2023年度:朱盛(二等奖学金)
研究生新生奖学金(2014-2022年设立)
- 2014年度:杨洋,刘丰
- 2015年度:王强,李广力,王冠成
- 2017年度:张桐搏,徐玥
- 2018年度:李俊劼,刘京
- 2019年度:于佳玉,张正昊
- 2020年度:张峻伟,龚晓宇
- 2022年度:张鑫宇,朱文博
吉林省优秀硕士学位论文
- 2014.06,刘冬清,云计算编程模型的形式化描述方法研究
- 2015.06,牛当当,基于超扩展规则的高效知识编译方法研究
- 2017.06,杨洋,基于扩展规则的推理方法研究
- 2021.06,韩帅,基于熵正则化和定期更新的深度确定性策略梯度
吉林大学优秀博士学位论文
- 2018.06,牛当当,基于扩展规则的知识编译方法研究
吉林大学优秀硕士学位论文(遴选比例约5%)
- 2014.06,刘冬清,云计算编程模型的形式化描述方法研究
- 2015.06,牛当当,基于超扩展规则的高效知识编译方法研究
- 2017.06,杨洋,基于扩展规则的推理方法研究
- 2018.06,王冠成,基于机器学习的编译器测试优化方法研究
- 2021.06,韩帅,基于熵正则化和定期更新的深度确定性策略梯度
- 2022.06,路笳艺,采样多样性驱动的深度强化学习探索方法研究
- 2023.06,张峻伟,基于过估计控制与探索增强的强化学习优化方法
吉林大学优秀本科毕业论文(遴选比例约1.8%)
- 2014.06,杨洋,命题逻辑知识约简与命题模态逻辑推理方法研究
- 2014.06,冯元力,二维图像与三维模型的聚类分割算法的研究与实现
- 2015.06,李广力,异构环境下云计算模型研究
- 2016.06,贺甫霖,基于格局检测的模型计数方法
- 2017.06,张桐搏,基于约简策略的模型计数求解方法研究
- 2018.06,韩义恒,图像缩放的质量评估
- 2019.06,于佳玉,基于Q值估计的深度Q网络学习方法的设计与实现
- 2019.06,于航,基于风格迁移的人脸对抗攻击方法研究
- 2020.06,张峻伟,基于增强探索效率的PPO强化学习算法的设计与实现
- 2020.06,李宗泽,基于生成对抗网络的域自适应算法设计与实现
- 2020.06,康勐,基于条件对抗网络的域适应和域泛化方法研究
- 2021.06,张桐,基于度量学习的小样本图像识别算法的设计与实现
- 2021.06,张磊,噪声标记下的图像分类算法的设计与实现
- 2022.06,张鑫宇,基于双分类器确定性最大化的无监督领域自适应算法的设计和实现
- 2022.06,贾俊龙,基于激活值白化算法的领域自适应技术研究与实现
- 2022.06,朱文博,基于策略参数多样性的深度强化学习算法的设计与实现
- 2023.06,李松霖,基于集成策略和集成评估提高强化学习样本效率和泛化能力
- 2023.06,朱民笑,基于DL模型结构变异的深度学习框架测试研究
- 2023.06,谭浩瀚,面向多人遮挡场景的人体姿态估计方法研究
- 2024.06,殷嘉良,基于元路径的异构图可解释性方法研究
吉林大学十佳研究生(遴选比例0.1%)
吉林大学优秀毕业研究生(遴选比例10%)
- 2013年度:魏唯
- 2014年度:刘冬清
- 2017年度:杨洋,刘丰,周文博
- 2018年度:王强,李广力,王冠成
- 2020年度:张桐搏,徐玥
- 2021年度:刘京,韩帅
- 2022年度:路笳艺
- 2023年度:张峻伟,龚晓宇
学科竞赛(获奖学生,排名不分先后)
- 2015.12,全国研究生数学建模竞赛,国家级二等奖,李广力,李天骄,杨洋
- 2016.11,全国研究生数学建模竞赛,国家级二等奖,王强,费凡,王冠成
- 2016.11,全国研究生数学建模竞赛,国家级二等奖,李天骄,张森,李广力
- 2016.12,全国大学生软件测试大赛,国家级一等奖,周文博
- 2017.12,中国研究生数学建模竞赛,国家级二等奖,张桐搏,李广力,徐玥
- 2019.07,中国大学生计算机设计大赛,国家级三等奖,陈禹臻,江宸,邓若琛,李鹤,陈星棋
- 2020.12,中国研究生数学建模竞赛,国家级三等奖,张峻伟,李宗泽,康勐
- 2022.12,中国研究生数学建模竞赛,国家级一等奖,吴珺泓,张少杰,张泽宇
蓝桥杯全国软件和信息技术专业人才大赛(吉林大学)【组织情况】