导师介绍

导师姓名
戚正伟
导师性别男
职务职称副教授.
所在院系软件学院
所属学科软件工程
研究方向云计算程序分析
联系电话34205595
电子邮箱qizhwei@sjtu.edu.cn

个人简介

博士，副教授，硕士生导师，CCF高级会员、ACM会员。2010年度入选教育部新世纪人才计划。1999年从西北工业大学本科毕业并获学士学位，获陕西省优秀毕生称号；2002年从西北工业大学硕士毕业并获硕士学位；2002年3月至2005年10月，于上海交通大学计算机系攻读计算机软件与理论专业博士学位，于2006年3月获博士学位，并获上海交通大学优秀毕业生称号。2008年1月至7月，在微软亚洲研究院系统组进行为期半年的访问，并获微软青年访问教师奖。2011年至2012年，作为访问学者在CMU大学计算机系的EdmundM.Clarke（2007年图灵奖得主）访问。本人是省部共建国家重点实验室培育基地暨上海市可扩展计算与系统重点实验室成员，上海交大国家Linux技术培训与推广中心负责人。中国计算机学会YOCSEF上海2008-2009委员（获年度最佳委员），2010-2011学术委员、学术秘书（获YOCSEF2009-2010优秀学术秘书）。获上海交通大学优秀教师三等奖(2009)、晨星青年学者奖励计划二等奖(2009)。并于2009年获得国家留学基金委全额访问学者资助。主要研究方向为虚拟化系统软件、绿色数据中心、以及程序分析。主持一项2009年度教育部精品课程建设。主持国家自然科学基金2项，上海科委重点基础研究1项，微软研究院青年教师基金1项，上海航天805所和56所项目各一项；作为第二负责人参加上海科委项目1项，IBM研究院数据中心合作项目2项，西门子研究院1项，公安部重点实验室开放课题1项；作为第三负责人参加国家科技重大专项子课题1项，上海市国际科技合作基金1项。申请专利3项，获得著作权3项，出版教材3部。出版译著《UNIX环境高级编程（第2版）》（第三译者），为2008、2009年度畅销榜TOP50（China-Pub）。
代表性论著

[1]ZhengweiQi,MingluLi,ChengFu,DongyuShi,JinyuanYou.MembraneCalculus:AFormalMethodforGridTransactions.ConcurrencyandComputation:PracticeandExperience,2006,18(14):1725-1728.[2]RuoyuZhang,ShiqiuHuang,ZhengweiQi,HaibingGuan.Staticprogramanalysisassisteddynamictainttrackingforsoftwarevulnerabilitydiscovery.AcceptedbyComputers&MathematicswithApplications.[2]ZhengweiQi,JinyuanYou.FormalizationofPSystemsbyMaude.JournalofShanghaiJiaoTongUniversity(English),2005,10(3):260-264.[3]戚正伟,毛宏燕,尤晋元.基于重写逻辑的Web服务事务处理形式化描述.计算机学报,2005,28(4):661-666.[4]戚正伟,尤晋元.基于细胞膜演算的Web服务事务处理形式化描述与验证.计算机学报,2006,29(7):1137-1144.[5]ZhengweiQi,JinyuanYou,HongyanMao.PSystemsandPetriNets.InProc.WorkshoponMembraneComputing2003,LNCS2933:286-303.[6]MiaoYu,QianLin,BingyuLi,ZhengweiQiandHaibingGuanVis:VirtualizationEnhancedLiveAcquisitionforNativeSystemThe2ndACMSIGOPSAsia-PacificWorkshoponSystems(APSys2011),Shanghai,China,July11-122011.[7]QianLin,MingyuanXia,MiaoYu,PeijieYu,MinZhu,ShangGao,ZhengweiQi,KaiChen,HaibingGuan:SPAD:softwareprotectionthroughanti-debuggingusinghardwarevirtualization.SAC2011:623-624[8]MinZhu,MiaoYu,MingyuanXia,BingyuLi,PeijieYu,ShangGao,ZhengweiQi,LiangLiu,YingChen,HaibingGuan:VASP:virtualizationassistedsecuritymonitorforcross-platformprotection.SAC2011:554-559[9]JunqingWang,MiaoYu,BingyuLi,ZhengweiQiandHaibingGuan.Hypervisor-basedProtectionofSensitiveFilesinaCompromisedSystemACMSymposiumonAppliedComputing-SAC,2012,Italy.