钱振江 - 常熟理工学院 - 计算机科学与工程学院

个人简介

博士，硕士生导师，现任常熟理工学院计算机科学与工程学院副院长，江苏省计算机学会第八届理事会理事，江苏省计算机学会信息安全专业委员会秘书长，苏州市人工智能学会监事，苏州市通信学会理事。2013年9月毕业于南京大学计算机科学与技术系，获博士学位。2013年度在伦敦大学国王学院进行博士后和合作研究。主要从事操作系统形式化方面的科学研究工作。在2008年主持获批“江苏省科技支撑计划（工业部分）项目”；2011年入选江苏省“六大人才高峰”高层次人才计划；2012年主持获批“Universities' China Committee in London（UCCL）基金项目”和“江苏省高校自然科学研究基金”项目；2014年主持获批“国家自然科学研究基金”项目和“江苏省自然科学研究基金”项目，并入选苏州市计算机杰出青年人才提名；2015年主持获批“中国博士后科学基金”项目；2017年入选江苏省高校“青蓝工程”优秀青年骨干教师培养对象；2018年入选江苏省第五期“333工程”第三层次培养对象；2019年入选江苏省高校“青蓝工程”中青年学术带头人培养对象，主持获批“江苏省自然科学研究基金”项目。主持主要科研、教改、人才类项目主持：操作系统内核精化设计和验证的理论与方法研究（No. BK20191475），江苏省自然科学基金面上项目，江苏省科技厅，2019/07 – 2022/06，主持，进行中； 2019年江苏省高校“青蓝工程”中青年学术带头人培养对象，江苏省教育厅，2019/03 – 2022/03，主持，进行中； 2018年江苏省第五期“333工程”第三层次培养对象，主持，进行中； “新工科”理念下区域性应用型本科协同育人模式的探索和实践，高等学校计算机教育研究会2018年度教育研究项目，全国高等学校计算机教育研究会，2018/05 – 2019/12，主持，进行中； 2017年江苏省高校“青蓝工程”优秀青年骨干教师培养对象，江苏省教育厅，2017/06 – 2020/06，主持，进行中；区域性应用型本科联盟协同育人模式研究（No.B-b/2016/01/34），江苏省教育科学“十三五”规划课题，江苏省教育科学规划领导小组，2017/01 – 2020/12，主持，进行中；安全操作系统形式化设计和验证方法研究（No.2015M571737），中国博士后科学基金项目，中国博士后科学基金会，第57批二等资助，2015/05 – 2016/12，主持，2016年12月结题；小型操作系统内核的轻量级形式化设计和验证方法研究（No. 61402057），国家自然科学基金项目，国家自然科学基金委员会，2015/01 – 2017/12，主持，2018年3月结题；安全可信操作系统的定量分析设计和验证研究（No. BK20140418），江苏省自然科学基金项目，江苏省科技厅，2014/07 – 2017/06，主持，2017年12月结题；基于轻量级的基础形式化方法构建安全操作系统的研究（No.12KJB520001），江苏省高校自然科学研究面上项目，江苏省教育厅，2012/09 – 2014/12，主持，2015年12月结题；可信操作系统新技术研发（No.BE2008124），江苏省科技支撑计划-工业部分项目，江苏省科技厅，2008/07 – 2010/12，主持，2011年9月结题；江苏省“六大人才高峰”高层次人才项目（No.2011-DZXX-035），江苏省人力资源和社会保障厅，第八批D类资助，2012/01 – 2014/12，主持，2014年12月结题。奖励情况 1. 面向复杂工程问题的应用型本科计算机类专业人才培养模式研究和实践，江苏省高校教学管理研究会教学研究工作委员会2018年度学术年会优秀教研论文三等奖，江苏省高校教学管理研究会教学研究工作委员会，2018年12月； 2. 2018年江苏省优秀计算机科技工作者，江苏省计算机学会，2019年3月； 3. KCapISO: 一种基于HybridHP的宏内核操作系统载入模块权能隔离方案，苏州市人民政府，2016～2017年度苏州市自然科学优秀学术论文奖三等奖，2018年9月； 4. 2016年江苏省普通高校本专科优秀毕业设计（论文）三等奖（指导学生），江苏省教育厅，2017年6月。

研究领域

信息-物理融合系统（CPS）、操作系统安全、形式化方法和定理证明（Theorem Proving）。主要承担的教学课程Linux操作系统、操作系统、嵌入式系统设计与应用

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

基于虚拟化的宏内核操作系统载入模块权能隔离方法. 发明人：钱振江，刘永俊，汤力，姚宇峰，张雪伍. 专利号：ZL201410284500.2，专利申请日：2014.06.23，授权公告日：2017.04.12。钱振江*, 黄皓, 宋方敏. VSOS-HAM:基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究[J]. 南京大学学报(自然科学),2017,53(03):579-589. 钱振江*, 刘永俊, 姚宇峰, 汤力, 黄皓, 宋方敏. 微内核架构内存管理的形式化设计和验证方法研究[J]. 电子学报,2017,45(01):251-256. 钱振江*, 黄皓, 宋方敏. 操作系统汇编级形式化设计和验证方法[J]. 软件学报,2016,27(12):3143-3157. 钱振江*, 刘永俊, 汤力, 姚宇峰, 黄皓. KCapISO: 一种基于HybridHP的宏内核操作系统载入模块权能隔离方案[J]. 计算机学报,2016,39(03):552-561. 钱振江*, 黄皓, 宋方敏. 操作系统形式化设计与安全需求的一致性验证研究[J]. 计算机学报,2014,37(05):1082-1099. 钱振江*, 刘苇, 黄皓. 操作系统对象语义模型(OSOSM)及形式化验证[J]. 计算机研究与发展,2012,49(12):2702-2712. 钱振江*, 刘苇, 黄皓. HybridHP: 一种轻型的内核完整性监控方案及其形式化验证[J]. 计算机学报,2012,35(07):1462-1474.

学术兼职

江苏省计算机学会第八届理事会理事，江苏省计算机学会信息安全专业委员会秘书长，苏州市人工智能学会监事，苏州市通信学会副秘书长