个人简历

钱振江，博士、教授、硕士生导师。男，1982年生，2013年获南京大学工学博士学位。现任常熟理工学院副处长，入选江苏省“六大人才高峰”高层次人才、江苏省高校“青蓝工程”优秀青年骨干教师培养对象、江苏省高校“青蓝工程”中青年学术带头人培养对象、江苏省“333高层次人才培养工程”中青年学术技术带头人培养对象，担任江苏省计算机学会理事会理事，苏州市人工智能学会监事，苏州市通信学会副秘书长。

先后主持国家和省部级科研课题13项，获中国电工技术学会科学技术奖科技进步二等奖1项。在IEEE Transactions on Intelligent Transportation Systems、Digital Communications and Networks、计算机学报、软件学报、计算机研究与发展、电子学报等国内外权威期刊和会议上发表论文40余篇，授权发明专利20多项。

研究方向

人工智能、信息-物理融合系统（CPS）、操作系统安全、形式化方法和定理证明（Theorem Proving）等。

主要承担的教学课程

硕士生课程：并行与分布式系统、Software Systems Requirements

本科生课程：Linux操作系统、嵌入式系统设计与应用

代表性学术成果

（1）论文及专利：

1.Z. Qian*, S. Zhong, G. Sun, X. Xing and Y. Jin, A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model, in IEEE Transactions on Intelligent Transportation Systems (TITS), November 2022, online, DOI: 10.1109/TITS.2022.3224385. (中科院SCI一区TOP)

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. Online April 2022, DOI: 10.1016/j.dcan.2022.03.024 (中科院SCI一区TOP)

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. Online August 2022, DOI: 10.1016/j.dcan.2022.07.012 (中科院SCI一区TOP)

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 (中科院SCI二区)

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.

12. 基于虚拟化的宏内核操作系统载入模块权能隔离方法.发明人：钱振江，刘永俊，汤力，姚宇峰，张雪伍.中国，专利号：ZL201410284500.2

（2）奖励情况

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

2.2020年江苏省普通高校本专科优秀毕业设计（论文）三等奖（指导学生），江苏省教育厅，2021年9月；

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

4.安全可信操作系统内核的精化设计和验证技术及应用，2020年度苏州市计算机学会计算机科学技术奖，科学技术奖一等奖，苏州市计算机学会，2021年6月12日；

5.2018年度《中美人才培养计划》121项目优秀工作者，中教国际教育交流中心，2018年12月；

6.面向复杂工程问题的应用型本科计算机类专业人才培养模式研究和实践，江苏省高校教学管理研究会教学研究工作委员会2018年度学术年会优秀教研论文三等奖，江苏省高校教学管理研究会教学研究工作委员会，2018年12月；

7.2018年江苏省优秀计算机科技工作者，江苏省计算机学会，2019年3月；

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

9.2016年江苏省普通高校本专科优秀毕业设计（论文）三等奖（指导学生），江苏省教育厅，2017年6月;

主要科研和教研项目

主持：

1.安全可信操作系统内核的可度量形式化构建方法研究（No. BRA2020306），2020年度江苏省第五期“333工程”科研资助项目，中共江苏省委组织部，2020/08 – 2022/07，主持，已结题；

2.操作系统内核精化设计和验证的理论与方法研究（No. BK20191475），江苏省自然科学基金面上项目，江苏省科技厅，2019/07 – 2022/06，主持，已结题；

3.2019年江苏省高校“青蓝工程”中青年学术带头人培养对象，江苏省教育厅，2019/04 – 2022/04，主持，考核合格；

4.2018年江苏省第五期“333高层次人才培养工程”培养对象（中青年学术技术带头人），中共江苏省委组织部，2018/07– 2020/12，主持，考核合格；

5.“新工科”理念下区域性应用型本科协同育人模式的探索和实践，高等学校计算机教育研究会2018年度教育研究项目，全国高等学校计算机教育研究会，2018/05 – 2019/12，主持，已结题；

6.2017年江苏省高校“青蓝工程”优秀青年骨干教师培养对象，江苏省教育厅，2017/06 – 2020/06，主持，考核优秀；

7.区域性应用型本科联盟协同育人模式研究（No.B-b/2016/01/34），江苏省教育科学“十三五”规划课题，江苏省教育科学规划领导小组，2017/01 – 2020/12，主持，已结题；

8.安全操作系统形式化设计和验证方法研究（No.2015M571737），中国博士后科学基金项目，中国博士后科学基金会，第57批二等资助，2015/05 – 2016/12，主持，已结题；

9.小型操作系统内核的轻量级形式化设计和验证方法研究（No. 61402057），国家自然科学基金项目，国家自然科学基金委员会，2015/01 – 2017/12，主持，已结题；

10.安全可信操作系统的定量分析设计和验证研究（No. BK20140418），江苏省自然科学基金项目，江苏省科技厅，2014/07 – 2017/06，主持，已结题；

11.基于轻量级的基础形式化方法构建安全操作系统的研究（No.12KJB520001），江苏省高校自然科学研究面上项目，江苏省教育厅，2012/09 – 2014/12，主持，已结题；

12.可信操作系统新技术研发（No.BE2008124），江苏省科技支撑计划-工业部分项目，江苏省科技厅，2008/07 – 2010/12，主持，已结题；

13.江苏省“六大人才高峰”高层次人才项目（No.2011-DZXX-035），江苏省人力资源和社会保障厅，第八批D类资助，2012/01 – 2014/12，主持，已结题。

社会兼职

江苏省计算机学会理事会理事

苏州市人工智能学会监事

苏州市通信学会副秘书长

联系方式

Email：qianzj@cslg.edu.cn