个人基本信息
姓名：李振 职称：讲师 毕业院校：南京航空航天大学 学历学位：博士研究生 入职时间：2025年1月
专业方向：计算机科学与技术曾获荣誉
办公地点：18B501 联系邮箱：lizhen@lsu.edu.cn
主讲课程
软件工程、javaweb应用开发
研究方向
智能软件工程、人工智能、模型检测
教育经历
1.（博士）2020.09-2024.12 南京航空航天大学 计算机科学与技术
2.（硕士）2017.09-2020.06 昆明理工大学 软件工程
3.（本科）2012.09-2016.06 郑州大学 计算机科学与技术
工作经历
2025年01月-至今，丽水学院。
研究成果
（一）代表性科研项目
1.浙江省自然科学基金青年基金，QN26F020029，大语言模型驱动的智能信息物理系统模型检测方法研究，10万元，2026.01.01-2027.12.31，
（二）发表论文
1. 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, 2023. (SCI, CCF-C)
2.Zhen Li, Cao Z.N, Xing C. Performance modeling and quantitative evaluation for cyber-physical systems based on LTS [J]. The Journal of Supercomputing, 2023. (SCI, CCF-C)
3. Zhen Li, Cao Z.N, Wang F.J, et al. Specification and Counterexample Generation for Cyber-Physical Systems[J]. Soft Computing, 2024. (SCI, CCF-C)
4. Zhen Li, Jiang Y, Zhang X.J,et al.The Metric for Automatic Code Generation [J].Procedia Computer Science, 2020. (EI)
5. 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.(SCI, CCF-C)
6. 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. (SCI, CCF-C)
7. 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. (SCI, CCF-C)
8. 李振, 姜瑛. APP软件客观评价方法[J].现代电子技术, 2020, 43 (23): 5. (北大中文核心)
