姓名：钱振江

职称：教授

电子邮箱：qianzj@szut.edu.cn

研究方向：人工智能；大数据技术；信息-物理融合系统（CPS）；信息安全；操作系统安全；形式化方法和定理证明（Theorem Proving）

个人简介

钱振江，教授，硕士生导师，中国计算机学会（CCF）杰出会员（CCF Distinguished Membership），江苏省计算机学会第八届理事会理事，苏州市人工智能学会监事，苏州市通信学会理事。2013年9月毕业于南京大学计算机科学与技术系，获博士学位。2013年度在伦敦大学国王学院进行博士后和合作研究。主要从事人工智能、大数据技术、信息-物理融合系统（CPS）、操作系统安全、形式化方法和定理证明（Theorem Proving）方面的科学研究工作。在2008年主持获批“江苏省科技支撑计划（工业部分）项目”；2011年入选江苏省“六大人才高峰”高层次人才计划；2012年主持获批“Universities' China Committee in London（UCCL）基金项目”和“江苏省高校自然科学研究基金”项目；2014年主持获批“国家自然科学研究基金”项目和“江苏省自然科学研究基金”项目，并入选苏州市计算机杰出青年人才提名；2015年主持获批“中国博士后科学基金”项目；2017年入选江苏省高校“青蓝工程”优秀青年骨干教师培养对象；2018年入选江苏省第五期“333高层次人才培养工程”培养对象（中青年学术技术带头人）；2019年入选江苏省高校“青蓝工程”中青年学术带头人培养对象，主持获批“江苏省自然科学研究基金”项目，江苏省高等教育教改研究课题；2020年获江苏省第五期“333工程”科研项目资助；2021年获中国电工技术学会科学技术奖科技进步二等奖；2024年获苏州市关键核心技术“揭榜挂帅”攻关项目资助；2025年获中国发明协会发明创业奖创新奖二等奖。在《计算机学报》、《软件学报》、《计算机研究与发展》、《IEEE Transactions on Intelligent Transportation Systems (TITS)》等权威期刊发表论文50余篇，授权发明专利20余项。

主要科研项目

1.《高可靠车载操作系统可度量精化设计和验证关键技术研发》苏州市关键核心技术“揭榜挂帅”攻关项目（2024-2027）

2.《安全可信操作系统内核的可度量形式化构建方法研究》江苏省第五期“333工程”科研资助项目（2020-2022）

3.《操作系统内核精化设计和验证的理论与方法研究》江苏省自然科学基金面上项目（2019-2022）

4.《安全操作系统形式化设计和验证方法研究》中国博士后科学基金项目（2015-2016）

5.《小型操作系统内核的轻量级形式化设计和验证方法研究》国家自然科学基金项目（2015-2017）

6.《可信操作系统新技术研发》江苏省科技支撑计划-工业部分项目（2008-2010）

近期代表性论文

1.Zhenjiang Qian*, Shan Zhong, Gaofei Sun, et al. A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model [J]. IEEE Transactions on Intelligent Transportation Systems (TITS). 2023, 24(12): 15459-15467.

2.Zhenjiang Qian*, Rui Xia, Gaofei Sun, et al. A measurable refinement method of design and verification for micro-kernel operating systems in communication network [J]. Digital Communications and Networks. 2023, 9(5): 1070-1079.

3.Zhenjiang Qian*, Gaofei Sun, Xiaoshuang Xing, et al. Refinement modeling and verification of secure operating systems for communication in digital twins [J]. Digital Communications and Networks. 2024, 10(2): 304-314.

4.Zhenjiang Qian*, Yong Jin, Gaofei Sun, et al. Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture [J]. Journal of Ambient Intelligence and Humanized Computing, Online August 2021，DOI: 10.1007/s12652-021-03454-9

5.钱振江*, 黄皓, 宋方敏. VSOS-HAM:基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究[J]. 南京大学学报(自然科学),2017,53(03):579-589.

6.钱振江*, 刘永俊, 姚宇峰等. 微内核架构内存管理的形式化设计和验证方法研究[J]. 电子学报,2017,45(01):251-256.

7.钱振江*, 黄皓, 宋方敏. 操作系统汇编级形式化设计和验证方法[J]. 软件学报,2016,27(12):3143-3157.

8.钱振江*, 刘永俊, 汤力等. KCapISO: 一种基于HybridHP的宏内核操作系统载入模块权能隔离方案[J]. 计算机学报,2016,39(03):552-561.

9.钱振江*, 黄皓, 宋方敏. 操作系统形式化设计与安全需求的一致性验证研究[J]. 计算机学报,2014,37(05):1082-1099.

10.钱振江*, 刘苇, 黄皓. 操作系统对象语义模型(OSOSM)及形式化验证[J]. 计算机研究与发展,2012,49(12):2702-2712.

11.钱振江*, 刘苇, 黄皓. HybridHP: 一种轻型的内核完整性监控方案及其形式化验证[J]. 计算机学报,2012,35(07):1462-1474.

专利

1.钱振江；周红超；刘永俊；基于SRGAN的光学显微镜图像轻型超分辨率重建方法，2024-10-15，中国，ZL202210527840.8

2.钱振江；夏锐；孙高飞；邢晓双；靳勇；一种基于可信第三方认证的通信方法，2024-02-27，中国，ZL202110055732.0

3.钱振江；刘永俊；汤力；姚宇峰；张雪伍；基于虚拟化的宏内核操作系统载入模块权能隔离方法，2017-04-12，中国，ZL201410284500.2

4.钱振江；李金灿；孙高飞；乐德广；靳勇；蒋庆丰；苏超；刘永俊；王颖；程宏斌；姜久雷；一种针对自动驾驶紧急制动逻辑的分层形式化建模与安全验证方法、电子设备、计算机可读存储介质及程序，2026-07-17，中国，ZL202610645612.9

作品获奖

1.2025年第七届“匠心筑梦 领航未来”全国高校教师技能创新大赛国赛二等奖；

2.面向安全可信操作系统内核的精化设计和验证技术及应用，中国发明协会发明创业奖创新奖二等奖；

3.2025年机械行业教育优秀成果（课题）三等奖；

4.2024年全国高校人工智能大数据教育“教学创新奖”一等奖；

5.A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model，2022～2023年度苏州市自然科学优秀学术论文奖二等奖；

6.Formal design and verification of system task in intelligent transportation systems based on micro kernel architecture，2020～2021年度苏州市自然科学优秀学术论文奖三等奖；

7.2020年江苏省普通高校本专科优秀毕业设计（论文）三等奖（指导学生）；

8.2020年度苏州市计算机学会计算机科学技术奖一等奖；

9.电力工控系统本体安全防护关键技术及应用，2021年中国电工技术学会科技进步奖二等奖；

10.2018年江苏省优秀计算机科技工作者；

11. KCapISO: 一种基于HybridHP的宏内核操作系统载入模块权能隔离方案，2016～2017年度苏州市自然科学优秀学术论文奖三等奖；

12.2016～2017年度常熟市自然科学优秀学术论文奖二等奖；

13.2016年江苏省计算机学会先进工作者；

14.2016年江苏省普通高校本专科优秀毕业设计（论文）三等奖（指导学生）；

15.2014～2015年度常熟市自然科学优秀学术论文奖三等奖；

主要承担的教学课程

1.并行与分布式系统（联培研究生课程）

2.Software Systems Requirements（Monmouth University课程）

3.嵌入式操作系统（Linux）（本科生课程）

4.Linux系统管理与维护（本科生课程）

5.大学计算机素养-人工智能（本科生课程）

6.移动应用程序开发（本科生课程）