齊，教授，教師，虛擬化系統軟件，程序分析，系統與網絡安全，移動互聯網。
中文名:齊
Mbth:祁正偉
國籍:中國。
民族:漢族
職業:教授
畢業院校:上海交通大學
主要成果:教育部第三屆全國大學生創新論壇“我最喜歡的10作品獎”
代表作品:《嵌入式GIS的開發與應用》，齊，付國慶，蔡等。，清華大學出版社，2009。
學歷
1999畢業於西北工業大學，學士學位。
2002年，西北工業大學碩士畢業。
2002年3月至2005年6月65，438+10月上海交通大學計算機系計算機軟件與理論專業博士研究生學習，2006年3月獲得博士學位。
學術兼職
ACM會員，中國計算機聯合會高級會員
中國計算機聯合會系統軟件與理論計算機科學專業委員會委員。
YOCSEF上海學術委員、優秀學術秘書
軟件、計算機研究與發展雜誌，中國計算機雜誌審稿人。
上海交通大學國家Linux技術培訓與推廣中心主任
獲獎記錄
1.上海交通大學軟件學院優秀科技創新導師(2010)
2.教育部第三屆全國大學生創新論壇“我最喜歡的10作品獎”(2010，導師)
3.上海交通大學優秀教師三等獎(2009年)
4.第二屆ICT國際青年技術創新大賽金獎(2009年，導師)
5.晨星青年學者和優秀青年教師後備人才二等獎(2009年)
項目
1.自然科學基金面上項目:大規模分布式系統實時可預測在線分析研究。
2.自然科學基金面上項目:基於彈性虛擬池的綠色數據中心節能研究
3.微軟青年教師基金:專門的模型檢測
4.上海基礎研究重點:基於重寫邏輯的虛擬化實時並發程序的形式化驗證。
5.IBMSUR項目:分布式二進制翻譯
代表作品
翻譯
《UNIX環境下的高級編程》(第2版，2008年和2009年TOP50)，W. Richard Stevens，Stephana Rago，譯者:遊金元，，齊，機械工業出版社，2006。
嵌入式GIS的開發與應用，齊，付國慶，蔡等。，清華大學出版社，2009。
《Linux開發篇——環境編程技術》，齊·，上海外語教育出版社，2008。
《理解硬件虛擬機》，，齊，清華大學出版社，即將出版。
論文
正氣穴、明路裏、承福穴、東俞氏、金元佑。membrane calculus:AFormalMethodforGridTransactions。concurrency and computation:practice index experience，2006，18(14):1725-1728。
正威氣，金元佑。形式化ofPSystemsbyMaude .上海交通大學學報(英文版)，2005，10(3):260-264。
明遠下，妙玉，正氣穴，安海冰關。Joan:shepherdaplicationprivacy with virtualized specialpurposememory。加拿大溫哥華，10月4日-62010。
耿飈陳，王卓，若愚章，康州，石湫黃，康奇尼，鄭偉奇，陳開，海兵關:被細化編譯生成高可讀性代碼。wcre 2010:150-154
朱敏、苗雨、裴潔玉、上高和鄭偉奇。VASP:跨平臺保護的虛擬化輔助安全監視器。proceedings of ACM 26 thsymposiumonappliedcomputing(SAC)，中國臺灣，3月21-252011。
錢琳、明遠霞、妙玉、裴潔玉、朱敏、上高、政委錢海兵關。SPAD:通過反調試實現軟件保護硬件虛擬化。proceedings of ACM 26 thsymposiumonappliedcomputing(SAC)，中國臺灣，3月21-252011。
中島君、錢琳、沈陽、朱敏、上高、明遠下、裴介玉、瑤祖洞、正位前海並管。optimizing virtualmachinesusinghybridvirtualization . proceedings of ACM 26 thsymposiumonappliedcomputing(SAC)，中國臺灣，3月21-252011。
明遠下、妙玉、錢琳、鄭偉奇、海兵關:enhancedprivilegesperationofcommodity software onvirtualized platform。ICPADS2010:275-282
鄭偉奇，劉亮，阿列克，王浩，陳穎:anonlinemodelcheckingtoolforsafety和LivenessBugs。2008年國際人口與發展會議:493-500人
齊，尤金元。基於細胞膜演算的Web服務事務的形式化描述和驗證。中國計算機學報，2006，29(7):1137-1144。