江建慧 JIANG JIAN HUI 工学博士、教授、博士生导师
地 址:上海市嘉定区曹安公路4800号               邮政编码:201804
Email:   jhjiang@tongji.edu.cn                        Tel         : +86-21-33512344
办公室:  济事楼507室 同济大学嘉定校区
主讲课程:
  • 软件可靠性工程(博)
  • 虚拟计算系统(博)
  • 可信系统(硕)
  • 安全体系结构与管理(本)
  • 容错与安全计算(本)
研究方向:
  • 可信系统与网络
  • 软件可靠性工程
  • VLSI/SoC测试与容错
简介       江建慧,男,汉族,1964年11月生,浙江淳安人。浙江省淳安中学毕业后于1981年进入原上海铁道学院学习,1985年获工学学士学位,1988年获工学硕士学位,后留校任教。1994年7月任副教授,1995年~1999年为在职博士研究生,1999年获工学博士学位,2000年12月任教授。2000年4月起于同济大学工作,2000年9月~2002年7月为复旦大学计算机科学与技术博士后流动站博士后。2000年9月聘为硕士生导师,2003年11月聘为博士生导师。2004年~2007年任同济大学计算机科学与技术系副主任,2007年~2011年任同济大学计算机科学与技术系主任,2011年9月起任同济大学软件学院副院长。
      当前主要社会任职包括中国计算机学会容错计算专业委员会副主任,上海市高等教育学会高校计算机专业委员会副主任。担任过多个IEEE国际学术会议和CCF全国性学术会议的程序委员会主席、副主席和委员,《中国科学:信息科学》测试技术专刊特约编辑,《电路与系统学报》等刊物的编辑委员会委员。
       长期从事容错计算、计算系统可靠性、软件工程、信息系统与网络安全、测试与诊断、性能评测等方向的理论研究、技术开发和工程应用工作。负责和参与完成了国家重点基础研究计划(973)项目1项,国家高技术研究计划(863)项目1项,国家自然科学基金项目(含重点、面上、重大研究计划)4项,上海市科委重点科技攻关计划项目3项,上海市科委基地建设项目1项,铁道部科技发展计划项目2项,上海市教委重点学科项目1项,以及企业合作等其它类型的项目15项。多项成果用于企业的产品生产线、技术服务平台和工程项目。现承担国家自然科学基金重点项目、华为技术有限公司、中广核工程有限公司等企业合作项目多项。
       拥有国家发明专利1项(ZL 01 1 24286.8),软件著作权9项。在《Journal of Computer Science and Technology》、《计算机学报》、《电子学报》、《计算机研究与发展》、《通信学报》、《中国科学》等国内外学术刊物和学术会议上发表论文180余篇。出版有研究生教材《计算机容错技术》(中国铁道出版社,1995)和技术专著《安全关键计算机系统》(中国铁道出版社,2003)。
       获华为无线网络产品线“2015年价值合作成果奖”,2014年上海市科技进步一等奖,2013年上海市教学成果一等奖,2006年复旦大学优秀博士后,1997年上海市高校优秀教材二等奖,1997年宝钢教育基金优秀教师奖等荣誉称号或奖项。
       近年来主讲“软件可靠性工程”、“虚拟计算系统”、“可信系统”、“安全体系结构与管理”、“容错与安全计算”等研究生和本科生课程。培养已毕业的工学博士生16人、工学硕士生49人、工程硕士生16人。
教材、专著与报告章节
  • [1]鄢贵海, 江建慧, 李华伟, 李晓维. 微处理器芯片可靠性设计研究进展. 2012中国计算机科学技术发展报告, 中国计算机学会主编, 北京: 机械工业出版社, 2013, 174-202
  • [2]员春欣, 江建慧. 安全关键计算机系统. 北京: 中国铁道出版社, 2003
  • [3]江建慧. 失效安全技术及自校验技术. 计算机容错技术, 胡谋主编, 第五章, 北京: 中国铁道出版社, 1995, 157-199(获1997年上海市高校优秀教材二等奖)
部分论文
    方向一:可信系统与网络
  • [1]Xiao Chen and Jianhui Jiang. A method of virtual machine placement for fault-tolerant cloud applications. Intelligent Automation & Soft Computing, 2016, 22(4): 587-597
  • [2] 陈晓, 江建慧. 动态可配置的两阶段虚拟机容错分配方法. 电子科技大学学报, 2016, 45(3): 442-447
  • [3]张颖, 江建慧, 李华伟, 李晓维. 基于信号跳变时间可调整的容错路由器. 同济大学学报(自然科学版), 2015, 43(2): 305-311
  • [4]陈林博, 江建慧, 张丹青. 用多密钥加密方法防御面向返回编程的攻击. 高技术通讯, 2014, 24(4): 355-364
  • [5]Liangliang Kong and Jianhui Jiang. A worst-case execution time analysis approach based on independent paths for ARM programs. Wuhan University Journal of Natural Sciences, 2012, 17(5): 391-399
  • [6]孔亮亮, 江建慧, 肖杰, 蒋圆圆. ARM程序执行周期估计的基于模拟的非线性方法. 计算机研究与发展, 2012, 49(2): 392-401 (EI)
  • [7]陈林博, 江建慧, 张丹青. 基于双栈的缓冲区溢出攻击的防御. 同济大学学报(自然科学版), 2012, 40(3): 452-458(EI)
  • [8]Shuai Chunyan, Jiang Jianhui, Ouyang Xin, Chen Linbo, Yang Yang. An alert hierarchical association algorithm to construct attack scenarios. Information - An International Interdisciplinary Journal, 2012, 15(1): 113-121(SCI)
  • [9]Chunyan Shuai, Jianhui Jiang, Xin Ouyang. A lightwight cooperative detection framework of DDoS/DoS attacks based on counting bloom filter. Journal of Theoretical and Applied Information Technology, 2012, 45(1): 160-167(EI)
  • [10]周焕盛, 江建慧. 一个多维信息安全指标体系及等级保护量化模型. 中国科学技术大学学报, 2012, 42(1): 67-76
  • [11]Jie YIN, Jianhui JIANG, Yu LIU. AC-RMT: A fault-tolerance SMT architecture based on asynchronous checkpoint. Intelligent Automation and Soft Computing, 2011, 17(6): 803-813(SCI)
  • [12]Jie Yin and Jianhui Jiang. Easing instruction queue competition among threads in RMT. Journal of Computers 2011, 6(7): 1394-1401(EI)
  • [13]印杰, 江建慧. 冗余多线程结构的重命名寄存器配对共享分配策略. 计算机研究与发展, 2011, 48(3): 516-527(EI)
  • [14]陈林博, 江建慧, 张丹青, 帅春燕. 基于多版本冗余进程的容侵系统. 清华大学学报(自然科学版),2011, 51(S1): 1519-1526
  • [15]杨洋, 帅春燕, 江建慧. 基于堆栈分析的缓冲区溢出漏洞检测方法. 计算机研究与发展(增刊), 2011, 47(S): 291-295
  • [16]江建慧, 章力源, 金涛, 陈川. 基于k循环随机序列的动态缓冲区溢出防御. 同济大学学报(自然科学版), 2010, 38(6): 917-924(EI)
  • [17]田春岐, 江建慧, 胡治国, 李峰. 一种基于聚集超级节点的P2P网络信任模型. 计算机学报, 2010, 33(2): 345-355(EI)
  • [18]楼俊钢, 江建慧, 赵时旻, 孔亮亮. 基于随机完全区组设计的嵌入式系统性能分析. 同济大学学报(自然科学版), 2009, 37(12): 1663-1667 (EI)
  • [19]孔亮亮, 江建慧, 靳昂. 关于系统性能度量方法. 哈尔滨工业大学学报, 2009, 41(S1): 135-141 (EI)
  • [20]江建慧, 唐智杰. 测量嵌入式操作系统实时性能参数的新方法. 同济大学学报(自然科学版), 2008, 36(9): 1260-1266 (EI)
  • [21]王真, 江建慧, 员春欣. 高性能处理器的差错校正技术. 计算机研究与发展, 2008, 45(2): 358-366(EI)
  • [22]JIANG Jianhui, MIN Yinghua, and PENG Chenglian. Fault-tolerant systems with concurrent error-locating capability. Journal of Computer Science and Technology, 2003, 18(2): 190-200(SCI)
  • [23]江建慧, 闵应骅, 彭澄廉. N为偶数的并发差错可定位N-模冗余结构. 计算机学报, 2002, 25(8): 837-844(EI)
  • [24]江建慧. 交替互补定位器及其用于双模比较冗余结构的差错定位. 计算机研究与发展, 2001, 38(6): 754-764(EI)
  • [25]江建慧, 施鸿宝. 具有故障定位能力的健壮故障安全系统. 电子学报, 2000, 28(8): 35-38(EI)
  • [26]Xiao Chen, Jian-Hui Jiang and Qu Jiang. A method of self-adaptive pre-copy container checkpoint. Proc of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, Zhangjiajie, China, Nov 2015, 290-300
  • [27]Ying Zhang, Zebo Peng, Jianhui Jiang, Huawei Li, Masahiro Fujita. Temperature-aware software-based self-testing for delay faults. Proceedings of 18th IEEE/ACM/IFIP/IET Design, Automation, and Test in Europe Conference and Exhibition, Grenoble, France, Mar 2015 (CCF-B)
  • [28]Liangliang Kong, Jianhui Jiang. A combined hardware/software measurement for ARM program execution time. Communications in Computer and Information Science, Vol. 337, 2013, 185-201 (EI)
  • [29]Chen Linbo, Jiang Jianhui and Zhang Danqing. Prevent code reuse attacks by using control flow lazily check. Proceedings of IEEE 18th Pacific Rim International Symposium on Dependable Computing, Niigata, Japan, Dec 2012, pp. 51-60(EI)
  • [30]Liangliang Kong and Jianhui Jiang. A safe measurement-based worst-case execution time estimation using automatic test-data generation. Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Tokyo, Dec 2010, pp. 245-246 (EI)
  • [31]Jie Yin and Jianhui Jiang. An asynchronous checkpoint-based redundant multithreading architecture. Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Tokyo, Dec 2010, pp. 243-244(EI)
  • [32]Ying Wu, Jianhui Jiang, and Liangliang Kong. Sequential frequency vector based system call anomaly detection. Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Tokyo, Dec 2010, pp. 215-222 (EI)
  • [33]Jie Yin and Jianhui Jiang. Design and analysis of an asynchronous checkpoint-based redundant multithreading architecture. Dependable Computing, vol. 25, San Antonio: TSI Press, 2310, pp. 519-524(EI)
  • [34]Ying Wu and Jianhui Jiang. Frequency weighted Hamming distance for system call anomaly detection. Proceedings of the WRI World Congress on Computer Science and Information Engineering, Los Angeles, California, 31 March - 2 April 2009, pp. 105-109(EI)
  • [35]Wang Hongcheng, Jiang Jianhui, and Jin Ang. A performance benchmark suite for real-time embedded systems. High Technology Letters, 2006, 12(S): 55-59 (EI)
  • [36]Jianhui Jiang, Hongbao Shi, Yinghua Min, and Xiaodong Zhao. A novel NMR structure with concurrent output error location capability. Proceedings of 1999 Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Hong Kong, Dec 1999, pp. 32-39(EI)
    方向二:软件可靠性工程
  • [1]张丹青, 江建慧, 陈林博. 一种对程序故障行为和失效行为的聚类有效性验证方法. 中国科学: 信息科学, 2014, 44(10): 1323-1344
  • [2]陈晓, 江建慧. 基于量子行为粒子群优化的软件可靠性模型参数估计. 高技术通讯, 2014, 24(5): 479-485
  • [3]楼俊钢, 江建慧, 沈张果, 蒋云良. 软件可靠性预测的相关向量机模型. 计算机研究与发展, 2013, 50(7): 1542-1550(EI)
  • [4]楼俊钢, 蒋云良, 申情, 江建慧. 软件可靠性预测中不同核函数的预测能力评估. 计算机学报, 2013, 36(6): 1303-1311(EI)
  • [5]胡嘉伟, 江建慧. 一种面向软件可靠性评估的故障注入机制的设计与实现. 计算机辅助设计与图形学学报, 2012, 24(6): 741-751(EI)
  • [6]靳昂, 江建慧, 楼俊钢. 基于加速寿命试验的Web服务器测评. 计算机研究与发展(增刊), 2011, 47(S): 229-236
  • [7]楼俊钢, 江建慧, 靳昂. 考虑样本与均值差别的软件可靠性模型. 计算机学报, 2010, 33(7): 1279-1287(EI)
  • [8]张蕊, 江建慧, 楼俊钢, 沈君华, 王艳娜. 基于B/S结构的嵌入式系统测试平台. 计算机辅助设计与图形学学报, 2009, 21(1): 13-18(EI)
  • [9]Liu Hongtao and Jiang Jianhui. A robustness testing platform for file system. High Technology Letters, 2006, 12(S): 23-27(EI)
  • [10]江建慧, 梁剑华, 靳昂, 胡瑾. Linux上软件实现的瞬时故障注入方案及其实现. 同济大学学报(自然科学版), 2006, 34(6): 823-827(EI)
  • [11]江建慧, 赵晓东,童梅, 高莹心. 组合事务块及其在C语言和FOXPRO中的实现. 计算机研究与发展, 1998, 35(9): 859-864
  • [12]Danqing Zhang, Jianhui Jiang and Linbo Chen. Program behavior characterization and clustering : An empirical study for failure clustering. Proceedings of the Fourth IEEE International Workshop on Program Debugging, Los Alamitos: IEEE Computer Society, Pasadena, Nov 2013 (EI)
  • [13]Jungang Lou, Jianhui Jiang, and Chunyan Shuai. A study on software reliability prediction based on transduction inference. Proceedings of IEEE 19th Asian Test Symposium, Los Alamitos: IEEE Computer Society, Shanghai, Dec 2010, 77-80(EI)
  • [14]Ang Jin and Jianhui Jiang. Fault injection scheme for embedded programs at machine code level and verification. Proceedings of 15th IEEE Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Shanghai, Nov 2009, pp. 55-62(EI)
  • [15]Lou Jun-gang, Jiang Jian-hui, Shuai Chun-yan, Zhang Rui, and Jin Ang. Software Reliability Prediction Model based on Relevance Vector Machine. Proceedings of 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems, Shanghai, Nov 2009, pp. 229-233(EI)
  • [16]Zhang Rui, Jiang Jianhui, Yin Jie, Jin Ang, Lou Jungang, and Wu Ying. A new method for test suite reduction. Proceedings of the 9th International Conference for Young Computer Scientists, IEEE Computer Society, Zhang Jia Jie, Nov 2008, 1211-1216(ISTP)
  • [17]Ang Jin, Jianhui Jiang, Jiawei Hu, and Jungang Lou. A PIN-based dynamic software fault injection system. Proceedings of the 9th International Conference for Young Computer Scientists, IEEE Computer Society, Zhang Jia Jie, Nov 2008, 2160-2167(ISTP)
  • [18]Qian Feng-an and Jiang Jian-hui. A novel test case generation method of pair-wise testing. Proceedings of IEEE 16th Asian Test Symposium, IEEE Computer Society Press, Beijing, Oct 2007, pp. 149-154(ISTP)
方向三:VLSI/SoC测试与容错
  • [1]卜登立, 江建慧. 基于Pareto支配的MPRM电路面积与可靠性优化. 电子学报, 2016, 44(11): 2653-2659
  • [2]欧阳城添, 江建慧, 王曦. 触发器可靠度计算的F-PTM方法. 电子学报, 2016, 44(9): 2219-2226
  • [3]陈乃金, 江建慧. 多叉树数据流图粗粒度可重构单元阵列映射算法. 计算机辅助设计与图形学学报, 2016,28(7): 1180-1187
  • [4]Jie Xiao, William Lee, Jianhui Jiang, Xuhua Yang. Circuit reliability estimation based on an iterative PTM model with hybrid coding. Microelectronics Journal, 2016, 52, 117-123
  • [5]凌立, 江建慧. 基于异步时钟的SoC功耗约束测试调度优化. 计算机研究与发展, 2015, 52(11): 2589-2598
  • [6]陈乃金, 江建慧. 一种粗粒度可重构体系结构多目标优化映射算法. 电子学报, 2015, 43(11): 2151-2160
  • [7]陈乃金, 冯志勇, 江建慧. 用于二维RCA跨层数据传输的旁节点无冗余添加算法. 通信学报, 2015, 36(4)
  • [8]陈乃金, 江建慧. 考虑通信成本和硬件碎片利用的簇划分算法. 计算机辅助设计与图形学学报, 2015, 27(4)
  • [9]卜登立, 江建慧. 基于对偶逻辑的混合极性RM电路极性转换和优化方法, 电子学报, 2015, 43(1): 79-85
  • [10]肖杰, 江建慧, 梁家荣. 面向晶体管级广义门电路的PTM可靠性计算方法. 中国科学: 信息科学, 2014, 44(10): 1226-1238
  • [11]肖杰, 江建慧, 朱旭光. 一种基于迭代PTM模型的电路可靠性评估方法. 计算机学报, 2014, 37(7): 1508-1520 (EI)
  • [12]肖杰, 江建慧, 杨旭华, 梁家荣. 一个面向缺陷分析的电路成品率与可靠性的关系模型. 电子学报, 2014, 42(4): 747-755 (EI)
  • [13]肖杰, 江建慧. 考虑时间因素的不同基本门故障概率计算. 电子学报, 2013, 41(4): 666-673(EI)
  • [14]肖杰, 江建慧. 面向缺陷分析的广义门电路故障概率的计算. 计算机辅助设计与图形学学报, 2013, 25(4): 564-572(EI)
  • [15]陈乃金, 江建慧. 融合面积估算和多目标优化的硬件任务划分算法. 通信学报, 2013, 34(2): 40-55 (EI)
  • [16]卜登立, 江建慧. 基于混合多值离散粒子群优化的混合极性Reed-Muller最小化算法. 电子与信息学报, 2013, 35(2): 361-367 (EI)
  • [17]卜登立, 江建慧. 使用系数矩阵变换极性转换的MPRM电路面积优化. 计算机辅助设计与图形学学报, 2013, 25(1): 126-135 (EI)
  • [18]欧阳城添, 江建慧. 基于概率转移矩阵的时序电路可靠度估计方法. 电子学报, 2013, 41(1): 171-177(EI)
  • [19]陈乃金, 江建慧, 陈昕, 周洲, 徐莹. 一种考虑执行延迟最小化和资源约束的改进层划分算法. 电子学报, 2012, 40(5): 1055-1066 (EI)
  • [20]肖杰, 江建慧. 结合版图结构信息的基本门电路故障概率估计. 电子学报, 2012, 40(2): 235-240(EI)
  • [21]王真, 江建慧. 基于概率转移矩阵的串行电路可靠度计算方法. 电子学报, 2009, 37(2): 241-247(EI)
  • [22]王真, 江建慧. 考虑版图级因素的PTM中故障感染率的计算. 哈尔滨工业大学学报, 2009, 41(S1): 124-129(EI)
  • [23]WANG Zhen, JIANG Jianhui, and YANG Guang. Implementation and analysis of probabilistic methods for gate-level circuit reliability estimation. Tsinghua Science and Technology, 2007, 12(S1): 32-38(EI)
  • [24] Jian-Hui Jiang. An error recoverable structure based on complementary logic and alternating-retry. Journal of Computer Science and Technology, 2005, 20(6): 885-894(SCI)
  • [25]江建慧, 员春欣. 芯片级系统的在线测试技术. 计算机研究与发展, 2004, 41(9): 1593-1603
  • [26]陈火军, 江建慧. 门级故障到寄存器传输级故障的映射. 同济大学学报(自然科学版), 2004, 32(8): 1061-1066
  • [27]江建慧, 朱为国. 嵌入式存储器的内建自测试和内建自修复. 同济大学学报(自然科学版), 2004, 32(8): 1050-1056(EI)
  • [28]江建慧, 闵应骅, 彭澄廉. 一种用于双模冗余系统的健壮故障安全接口. 同济大学学报(自然科学版), 2002, 30(10): 1164-1168(EI)
  • [29]江建慧, 闵应骅, 施鸿宝. 数字电路并发差错定位的概念与基本结构. 计算机研究与发展, 2000, 37(5): 532-542(EI)
  • [30]江建慧, 闵应骅, 施鸿宝. 数字电路并发差错检测的新概念. 计算机研究与发展, 1999, 36(9): 1133-1141(EI)
  • [31]江建慧, 胡谋. 安全逻辑器件与CMOS B/T 逻辑电路及其噪声容限. 计算机研究与发展, 1993, 30(5): 55-61
  • [32]Li Ling and Jianhui Jiang. Exploit voltage and frequency scaling for SoC test scheduling under thermal constraints. Proceedings of the 23rd IEEE Asian Test Symposium, Los Alamitos: IEEE Computer Society, Hangzhou, PRC, Nov 2014, 180-185 (EI)
  • [33]Naijin Chen and Jianhui Jiang. Mapping algorithm for coarse-grained reconfigurable multimedia architectures. Proceedings of 19th IEEE Reconfigurable Architectures Workshop, IEEE Computer Society, Shanghai, China, 2012, pp. 281-286 (ISTP)
  • [34]Jie Xiao, Jian-Hui Jiang, Xu-Guang Zhu, and Cheng-Tian Ouyang. A method of circuit reliability estimation based on iterative PTM model. Proceedings of IEEE 17th Pacific Rim International Symposium on Dependable Computing, Pasadena, California, USA, Dec 2011, 276-277(ISTP)
  • [35]Chengtian Ouyang, Jianhui Jiang and Jie Xiao. Reliability evaluation of flip-flops based on probabilistic transfer matrices. Proceedings of IEEE 16th Pacific Rim International Symposium on Dependable Computing, Los Alamitos: IEEE Computer Society, Tokyo, Dec 2010, pp. 239-240(EI)
  • [36]Jian-Hui JIANG. Error detection and correction in VLSI systems by online testing and retrying. Proceedings of IEEE 12th Asian Test Symposium, IEEE Computer Society Press, Xi’an, Nov 2003, P. 504
  • [37]Jiang Jianhui and Hu Mou. Fault tolerance and pipelining of VLSI combinational logic networks. Proceedings of IEEE Region 10 International Conference on Computer, Communication, Automation and Power Engineering, vol.1, Beijing: International Academic Publishers, Beijing, Oct 1993, pp. 44-48(EI)
部分项目
  • 1.中广核工程有限公司项目:故障注入软件开发项目,2016年~2017年,负责人,承担单位:同济大学
  • 2.中广核工程有限公司项目:可靠性预测与评估工具软件,2016年~2017年,负责人,承担单位:同济大学
  • 3.华为技术有限公司项目(YBN2016040031):NFV架构下基于Fail-Safe的故障防扩散方案研究,2016年~2017年,负责人,承担单位:同济大学
  • 4.国家自然科学基金重点项目(61432017):差错容忍计算器件基础理论与方法,2015年~2019年,同济大学方负责人,承担单位:中国科学院计算技术研究所、香港中文大学深圳研究院、同济大学
  • 5.华为技术有限公司项目(YB2014120169):无线网络平台云和虚拟化可靠性研究二期项目,2014年~2015年,负责人,承担单位:同济大学
  • 6.江苏省产学研联合创新资金项目(BY2013095)子课题(BY2013095-5-06):未来网络的容错与容侵,2014年~2015年,负责人,承担单位:同济大学
  • 7.华为技术有限公司项目(YB2013120054):Linux进程分布式CheckPoint技术研究,2013年~2014年,负责人,承担单位:同济大学
  • 8.华为技术有限公司项目(YB2013090034):无线网络平台云和虚拟化可靠性研究,2013年~2014年,负责人,承担单位:同济大学
  • 9.华为技术有限公司项目(YB2012110217):Linux故障模式与基于故障注入的测试技术研究,2012年~2013年,负责人,承担单位:同济大学
  • 10.上海申通地铁集团公司科研项目:轨道交通网络信息化规划与应用研究,2008年~2009年,同济大学方负责人,承担单位:上海计算机软件技术开发中心、同济大学
  • 11.国家高技术研究发展计划(863计划)项目(2007AA01Z142):软件可信性评估方法和工具及其应用,2007年~2009年,负责人,承担单位:同济大学
  • 12.上海市科学技术委员会重点科技攻关计划项目(06DZ15003):轨道交通乘客信息系统终端控制设备、车辆工况监测、车地通信以及电力、设备监控系统的嵌入式技术应用研究,2006年~2008年,同济大学方负责人,承担单位:上海申通轨道交通研究咨询有限公司、同济大学、东华大学、上海电器科学研究所(集团)有限公司等
  • 13.国家重点基础研究计划(973计划)课题(2005CB321604)子课题:VLSI高可靠设计与评估,2005年~2007年,子课题负责人,承担单位:同济大学
  • 14.上海市科学技术委员会重点科技攻关计划项目(04DZ15032):轨道交通自动售检票系统终端设备嵌入式技术应用,2005年~2006年,同济大学方负责人,承担单位:上海申通轨道交通研究咨询有限公司、同济大学、上海华虹计通智能卡系统有限公司等
  • 15.国家自然科学基金重大研究计划《半导体集成化芯片系统基础研究》面上课题(90207021):系统芯片在线测试与容错技术研究,2003年~2005年,负责人,承担单位:同济大学
  • 16.上海市科学技术委员会信息技术领域重点科技攻关计划项目(035115023):实时嵌入式软件系统测试技术及平台的研究与应用,2003年~2005年,负责人,承担单位:上海计算机软件技术开发中心、同济大学
  • 17.上海高等学校青年教师学术基金项目(95QD18):实时混合容错理论及容错专用部件结构研究和模拟,1995年~1997年,负责人
主要学术任职与学术活动:
  • 中国计算机学会容错计算专业委员会副主任,2012年01月~
  • 上海市高等教育学会高校计算机专业委员会副主任,2013年08月~
  • 《信息网络安全》编辑委员会委员,2014年~2016年
  • 《电路与系统学报》编委会委员,2004年~2006年
  • 《中国科学:信息科学》测试技术专刊特约编辑,2014年
  • Program Co-Chair, 2010, IEEE 11th Workshop on RTL and High Level Testing (WRTLT)
  • Tutorial Chair, 2010, IEEE 19th Asian Test Symposium (ATS)
  • Program Committee member, 2009-2011,2015,2017,IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)
  • Program Committee member, 2007 and 2010 IEEE ATS
  • Program Committee member, 2003 and 2007 IEEE WRTLT
  • Program Committee member, 2011 IEEE Workshop on Dependable and Secure Nanocomputing (WDSN)
  • 程序委员会主席,2015年第16届全国容错计算学术会议
  • 程序委员会副主席,2006/2010年全国测试学术会议
  • 程序委员会委员,2002/2004/2008/2012/2014/2016年全国测试学术会议
  • 程序委员会委员,2016年全国第嵌入式系统学术会议
  • 程序委员会主席,2004年全国可信计算技术及应用学术研讨会
  • 程序委员会委员,2003/2005/2007/2009/2011/2013年全国容错计算学术会议
  • 程序委员会委员,2011/2012年中国信息和通信安全学术会议
  • 程序委员会委员,2007/2009/2011年全国软件测试学术会议
获奖经历
  • 华为无线网络产品线“2015年价值合作成果奖”,华为技术有限公司,2016年
  • 上海市科技进步一等奖,上海市,2015年
  • 上海市教学成果一等奖,上海市,2013年
  • 复旦大学优秀博士后,复旦大学,2006年
  • 同济大学教学奖励金教学系列二等奖,同济大学,2005年
  • 同济大学隧道奖励金二等奖,同济大学,2002年
  • 铁道部青年科技拔尖人才,铁道部,1999年
  • 宝钢教育基金优秀教师奖,宝钢教育基金理事会,1997年
  • 上海市高校优秀教材二等奖,上海市教委,1997年
  • 第四届上海高校优秀青年教师,上海市教育委员会,1997年
  • 铁道部科技进步四等奖,铁道部,1996年
  • 第三届上海高校优秀青年教师,上海市教育委员会,1995年
  • 上海市科技进步三等奖,上海市,1995年
Copyright© 2009 同济大学软件学院