姓名：钱振江

职称：教授

电子邮箱：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年获苏州市关键核心技术“揭榜挂帅”攻关项目资助。在《计算机学报》、《软件学报》、《计算机研究与发展》、《IEEE Transactions on Intelligent Transportation Systems (TITS)》等权威期刊发表论文50余篇，授权发明专利20余项。

主要承担的教学课程

并行与分布式系统（联培研究生课程）、Software Systems Requirements（Monmouth University课程）、嵌入式操作系统（Linux）、Linux系统管理与维护、大学计算机素养-人工智能、移动应用程序开发

研究方向

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

主要科研项目

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

联系方式

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

通信地址：江苏省苏州市常熟市东南街道湖山路99号苏州工学院（东南校区）

邮政编码：215500