一、导师照片
二、基本信息
姓名：李振
职称：讲师
科研方向：人工智能、智能软件工程、形式化建模与验证
邮箱：lizhen@lsu.edu.cn
三、个人简述
李振，男，1994年生，河南濮阳人，讲师，硕士生导师。2024年于南京航空航天大学取得博士学位，2025年1月加入丽水学院。主要从事软件形式化方法与人工智能交叉领域的研究工作，在国内外重要学术期刊及国际会议上发表多篇论文，主持或参与多项省部级科研项目，承担软件工程、javaweb应用开发、python程序设计等核心课程的教学工作。目前重点关注人工智能驱动下的软件工程智能化转型，以及形式化建模与验证方法在安全关键系统中的工程应用。
四、学术代表
（一）代表性论文
Zhen Li, Cao Z.N, Wang F.J, et al. A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra [J]. International Journal of Software Engineering and Knowledge Engineering, 2024.
Zhen Li, Cao Z.N, Xing C. Performance modeling and quantitative evaluation for cyber-physical systems based on LTS [J]. The Journal of Supercomputing, 2024.
Zhen Li, Cao Z.N, Wang F.J, et al. Specification and Counterexample Generation for Cyber-Physical Systems[J]. Soft Computing, 2024.
Zhen Li, Jiang Y, Zhang X.J,et al.The Metric for Automatic Code Generation [J].Procedia Computer Science, 2020.
Chao Xing, Zining Cao, Zhen Li. A Framework for Mining CPS Specification Based on Neural Hybrid Automata[J]. Knowledge-Based Systems, 2025
Chao Xing, Zining Cao, Zhen Li. Modeling and Controlling Cyber-Physical Systems Based on Hybrid Turing Machine and Reinforcement Learning[J]. International Journal of Software Engineering and Knowledge Engineering, 2025.
Wang F, Cao Z.N, Li Zhen, et al. Path Generation for a Given Performance Evaluation Value Interval by Modifying Bat Algorithm with Heuristic [J]. International Journal of Software Engineering and Knowledge Engineering, 2023.
Wang F.J, Cao Z.N, Tan L, Li Zhen. Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach [J]. International Journal of Software Engineering and Knowledge Engineering, 2022.
（二）代表性科研项目（主持）（近五年）
浙江省自然科学基金青年基金，大语言模型驱动的智能信息物理系统模型检测方法研究（LQN26F020061），2026-2027，主持，10万；
浙江省自然科学基金省市联合重点项目，灵芝子实体-孢子粉品质传递的多组学调控网络解析与智能预测模型构建（LLSSZ26H280002），2026-2028，参与，30万。
五、主讲课程情况（近五年）
《软件工程》
《javaweb应用开发》
《python程序设计》
《python语言》