基本介紹
- 中文名：戚正偉
- 外文名：qi zhengwei
- 國籍：中國
- 民族：漢族
- 職業：教授
- 畢業院校：上海交通大學
- 主要成就：教育部第三屆全國大學生創新論壇“我最喜愛的10件作品獎”
- 代表作品：嵌入式GIS開發及套用, 戚正偉、付國慶、蔡松露等，清華大學出版社，2009.
教育背景,學術兼職,獲獎情況,科研項目,代表性論著,著譯作,論文,
教育背景
1999年 西北工業大學本科畢業並獲學士學位
2002年 西北工業大學碩士畢業並獲碩士學位
2002年3月~2005年10月 上海交通大學計算機系攻讀計算機軟體與理論專業博士學位，於2006年3月獲博士學位
學術兼職
ACM會員、中國計算機學會高級會員
中國計算機學會系統軟體、理論計算機科學專委會委員
YOCSEF上海學術委員[2009-2011]、優秀學術秘書[2009-2010]
軟體學報、計算機研究與發展、計算機學報審稿人
上海交大國家Linux 技術培訓與推廣中心負責人
獲獎情況
1.上海交通大學軟體學院優秀科創指導教師（2010）
2.教育部第三屆全國大學生創新論壇“我最喜愛的10件作品獎”（2010，指導教師）
3.上海交通大學優秀教師三等獎(2009)
4.第二屆ICT國際青年技術創新大賽金獎（2009，指導教師）
5.晨星青年學者優秀青年教師後備人才二等獎（2009年度）
科研項目
1. 自然科學基金面上項目：大規模分散式系統實時可預測線上分析研究[2009-2011]
2. 自然科學基金面上項目：基於彈性虛擬池的綠色數據中心節能研究 [2011-2013]
3. 微軟青年教師基金: Specialized model checking for order-related concurrency bugs [2008-2009]
4. 上海市基礎研究重點: 基於重寫邏輯的虛擬化實時並發程式形式化驗證 [2009-2011]
5. IBM SUR項目: 分散式二進制翻譯[2009-2010]
代表性論著
著譯作
[1]UNIX環境高級編程(第二版, 08、09年度暢銷榜TOP50)，（美）W.Richard Stevens, Stephen A.Rago，譯者： 尤晉元 張亞英 戚正偉，機械工業出版社，2006
[2] 嵌入式GIS開發及套用, 戚正偉、付國慶、蔡松露等，清華大學出版社，2009.
[3] Linux開發篇——環境編程技術,戚正偉主編,上海外語教育出版社，2008
[4] NewBluePill:深入理解硬體虛擬機，於淼、戚正偉，清華大學出版社，即將出版.
論文
[1] Zhengwei Qi, Minglu Li, Cheng Fu, Dongyu Shi, Jinyuan You. Membrane Calculus: A Formal Method for Grid Transactions. Concurrency and Computation: Practice and Experience, 2006, 18(14): 1725-1728.
[2] Zhengwei Qi, Jinyuan You. Formalization of P Systems by Maude. Journal of Shanghai Jiao Tong University (English), 2005, 10(3): 260-264.
[3] Mingyuan Xia, Miao Yu, Zhengwei Qi, and Haibing Guan. Joan: Shepherd Application Privacy with Virtualized Special Purpose Memory. Poster for 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI poster), Vancouver, Canada, October 4-6 2010.
[4] Gengbiao Chen, Zhuo Wang, Ruoyu Zhang, Kan Zhou, Shiqiu Huang, Kangqi Ni, Zhengwei Qi, Kai Chen, Haibing Guan: A Refined Decompiler to Generate C Code with High Readability. WCRE 2010: 150-154
[5] Min Zhu, Miao Yu, Peijie Yu, Shang Gao and Zhengwei Qi. VASP: Virtualization assisted Security Monitor for Cross-Platform Protection. Proceedings of the ACM 26th Symposium On Applied Computing (SAC), Taiwan, China, March 21-25 2011.
[6] Qian Lin, Mingyuan Xia, Miao Yu, Peijie Yu, Min Zhu, Shang Gao, Zhengwei Qi and Haibing Guan. SPAD: Software Protection through Anti-debugging Using Hardware Virtualization. Proceedings of the ACM 26th Symposium On Applied Computing (SAC), Taiwan, China, March 21-25 2011.
[7] Jun Nakajima, Qian Lin, Sheng Yang, Min Zhu, Shang Gao, Mingyuan Xia, Peijie Yu, Yaozu Dong, Zhengwei Qi and Haibing Guan. Optimizing Virtual Machines Using Hybrid Virtualization. Proceedings of the ACM 26th Symposium On Applied Computing (SAC), Taiwan, China, March 21-25 2011.
[8] Mingyuan Xia, Miao Yu, Qian Lin, Zhengwei Qi, Haibing Guan: Enhanced Privilege Separation for Commodity Software on Virtualized Platform. ICPADS 2010: 275-282
[9] Zhengwei Qi, Liang Liu, Alei Liang, Hao Wang, Ying Chen: An Online Model Checking Tool for Safety and Liveness Bugs. ICPADS 2008: 493-500
[10]戚正偉,尤晉元. 基於細胞膜演算的Web服務事務處理形式化描述與驗證.計算機學報,2006, 29(7): 1137-1144
