信息科学技术学院电子信息专业硕士学位研究生导师简介
姓名：李烁 性别：女 
民族：汉族 年龄：31岁
学历|学位：博士研究生毕业| 博士学位
专业技术职务|职称：中级| 讲师
主要研究领域为：智能合约检测、模型检测、Petri网理论及应用等。
联系方式：lishuo@tsu.edu.cn
通讯地址|邮编：山东省泰安市岱岳区东岳大街525号| 271000
个人简介：
博士毕业于同济大学嵌入式系统与服务计算教育部重点实验室院士团队，泰安市高层次人才，CAA网络计算专委会委员，CCF会员，山东农业大学兼职硕士生导师。主要从事智能合约检测、模型检测、Petri网理论等领域的研究，在JSS、JSEP、ASE等国际期刊和会议共发表学术论文9篇。主持山东省自然科学青年基金1项、校级博士科研启动项目1项，企业委托项目2项，以技术骨干参与多项国家重点研发计划和国家自然科学基金。曾获得专业领域模型检测竞赛LTL类别一银三铜（2019-2022），中国研究生数学建模竞赛二等奖（2018），山东省优秀毕业生（2017），全国大学生数学建模竞赛国家二等奖（2016）等。
主持/参与科研项目：
1.主持，山东省自然科学基金青年基金（C类），基于展开结构的线性时序逻辑模型检测及其优化方法研究，13万，2026-2028。
2.主持，博士科研启动基金，基于Petri网展开的最优探索及其优化方法研究,50万，2025-2028。
3.参与，泰安市科技创新发展计划项目，“智慧花育”——AI+区块链赋能花卉培育增效与病害防控，2026-2027。
4.参与，国家重点研发计划，面向微小型数据中心的系统软件，2022-2025。
5.参与，国家重点研发计划，智慧城市的群体态势辨识与服务计算的基础理论及关键技术研究，2019-2022。
代表性论文：
1. Shuo Li, Li’ao Zheng, Ru Yang and Zhijun Ding, On-the-fly unfolding with optimal exploration for linear temporal logic model checking of concurrent software and systems, AUTOMATED SOFTWARE ENGINEERING, 32(2), doi: 10.1007/s10515-025-00511-x. (第一作者，CCF-B，SCI二区，SCI/EI检索，WOS:001505366100001)
2. Shuo Li, Cheng Chen, Zheng Huang and Zhijun Ding. Change-aware model checking for evolving concurrent programs based on Program Dependence Net, Journal of Software: Evolution and Process, 36(6), doi: 10.1002/smr.2626, 2023. (第一作者，CCF-B，SCI三区，SCI/EI检索，WOS:001097466500001)
3. Shuo Li, Zhijun Ding and Meiqin Pan, Formal Modeling of Program Dependence Net for Software Model Checking, COMPUTING AND INFORMATICS, 43(5), 1161–1184. doi: 10.31577/cai_2024_5_1161, 2024. (第一作者，SCI四区，SCI/EI检索，WOS:001398167000006)
4. Zhijun Ding, Shuo Li*, Cheng Chen and Cong He. Program Dependence Net and On-demand Slicing for Property Verification of Concurrent System and Software, The Journal of Systems and Software, 219, doi: 10.1016/j.jss.2024.112221, 2024. (通讯作者&导师一作，CCF-B，SCI一区，SCI/EI检索，WOS:001331378700001)
5. Xiangyu Jia and Shuo Li*. Parameterized Reachability Graph for Software Model Checking Based on PDNet. COMPUTING AND INFORMATICS, 42(4), 781–804. doi: 10.31577/cai_2023_4_781, 2023. (通讯作者，SCI四区，SCI检索，WOS:001127880700010)
6. Zhijun Ding, Cong He and Shuo Li*. EnPAC: Petri net model checking for linear temporal logic, 2023 20th IEEE International Conference on Networking, Sensing and Control (ICNSC). Marseille, France, 2023, pp. 1-6, doi: 10.1109/ICNSC58704.2023.10318998. (通讯作者，EI检索，20235115230409)
7. Zheng Huang, Shuo Li and Zhijun Ding. Automatic Modeling and Verification of Smart Contracts based on Colored Petri Nets, 2024 21th IEEE International Conference on Networking, Sensing and Control (ICNSC), doi: 10.1109/ICNSC62968.2024.10759952. (第二作者，EI检索，20245317610224)
8. Li’ao Zheng, Shuo Li, and Zhijun Ding. Program Dependence Net Reduction for LTL Model Checking, ICSED2024, Pages 48 – 56, May 2024, doi: 10.1145/3686614.3686620. (第二作者，EI检索，20244717400919)
9. Cheng Chen, Shuo Li and Zhijun Ding. Automatic Modeling Method for PThread programs based on Program Dependence Net. ICSED2021, Pages 9–18, November 2021, doi: 10.1145/3507473.3507475. (第二作者，EI检索，20223012398187)
