总编号 - 上海交通大学-电子信息与电气工程学院-人力资源办公室.DOC

上海交通大学晨星青年学者奖励计划 SMC-晨星优秀青年教师 （2011年度） √A类计划 □B类计划 申 请 书 申 请 人： 戚正伟 专业技术职务： 副教授 推荐单位： 电信学院 联系电话： 申 请 日 期： 2011年11月8日 上海交通大学人力资源处制 填写说明 一、填写严肃认真、实事求是、内容翔实文字精炼。A4纸 电子邮箱 qizhwei@sjtu.edu.cn 个人简历（自大学填起） （自何年何月至何年何月，学习或工作单位，学习或任职情况。） 1995年9月至2002年3月： 从西北工业大学分别本科和硕士毕业，获陕西省优秀毕生称号（1999年度）； 2002年3月至2005年10月： 上海交通大学计算机系攻读计算机软件与理论专业博士学位，并获上海交通大学优秀毕业生称号； 2008年1月至7月： 在微软亚洲研究院系统组进行为期半年的访问； 2006年1月至2009年12月 上海交大软件学院，讲师； 2010年1月至 今： 上海交大软件学院，副教授； 2011年3月至2012年3月： 在美国卡内基梅隆大学CMU大学Edmund M. Clarke（图灵奖得主）处访问。 主要学术兼职 ACM 会员、中国计算机学会高级会员 中国计算机学会系统软件专委会委员 中国计算机学会理论计算机科学专委会委员 上海交大国家Linux 技术培训与推广中心负责人 中国计算机学会YOCSEF上海2008-2009 委员，2009-2011 学术委员、2009-2010学术秘书。 担任软件学报、计算机研究与发展、兵工学报、计算机学报、电子学报Journal of Computer Science and Technology、Distributed and Parallel Databases、ASIAN 2009等期刊和会议的审稿人，担任WAASN 2009、ICIS2009、ICCIT 2009、INC 2010、 CUTE2010、ICESS2010、ICMIA 2011、 IISA2011、FCST2011技术委员会委员。Journal of Convergence Information Technology编委。SSIRI 2009 session chair、IMIS 2011/2012 track chair。 第二届ICT国际青年技术创新大赛专家委员会委员 荣誉及奖励 第十二届“挑战杯”全国大学生课外学术科技作品竞赛特等奖（2011，指导教师） 教育部第三届全国大学生创新论坛“我最喜爱的10件作品奖”（2010，指导教师） 第二届ICT国际青年技术创新大赛冠军（2009，指导教师） 上海交通大学软件学院优秀科创指导教师（2010） 上海交通大学优秀教师三等奖(2009) 2009、2010年度职工考核优秀 中国计算机学会2009-2010优秀YOCSEF学术秘书 中国计算机学会YOCSEF上海2008-2009 年度最佳委员 国际计算机游戏大赛ICGA最优组织奖和三等奖（2008，指导教师） 恩智浦杯全国创新大赛最佳特色奖（2008，指导教师） 上海研究生论坛优秀论文奖(2009，指导教师) 全国“挑战杯”竞赛上海二等奖（2009，指导教师） 曾获各类人才资助计划 （包括本人所纳入的国家创新团队或群体） 2010年教育部“新世纪优秀人才支持计划”； 省部共建国家重点实验室培育基地暨上海市可扩展计算与系统重点实验室成员； 2011年 获国家留学基金委的全额资助，在美国卡内基梅隆大学CMU的计算机系Edmund M. Clarke（图灵奖获得者）的实验室访问。 二、近五年内主要学术成就简介（800字） 可依赖系统（GC-6 Dependable Systems Evolution）作为计算机科学中七个重大挑战之一，自2006年以来，本人从形式化方法（理论建模）和虚拟化可信计算（系统验证）两个方面对可依赖系统进行了研究。主持两项国家自然科学基金面上项目，上海科委重点基础研究1项和重点项目子课题１项，以及“新一代宽带无线移动通信网”重大专项子课题，参与973/863等3项国家级课题，负责微软亚洲研究院、IBM中国研究院、Intel紫竹研发中心、西门子中国研究院、公安部第三研究所等横向课题。主持一项2009年度教育部精品课程建设。经费超过300万元，发表SCI/EI论文40余篇。申请专利11项，获得著作权3项，出版著（译）作4部。 下面从基础研究和成果应用两个方面进行描述。 一、基础