Qi, professor, teacher, virtualization system software, program analysis, system and network security, mobile internet.
Chinese name: Qi
Mbth: Qi Zhengwei
Nationality: China.
Ethnic group: Han nationality
Occupation: Professor
Graduate school: Shanghai Jiaotong University
Main achievements: "My Favorite 10 Works Award" in the Third National Innovation Forum for College Students of the Ministry of Education.
Representative works: Development and Application of Embedded GIS, Qi, Fu Guoqing, Cai, etc. , Tsinghua University Publishing House, 2009.
academic degree
1999 graduated from Northwestern Polytechnical University with a bachelor's degree.
In 2002, he graduated from Northwestern Polytechnical University with a master's degree.
From March 2002 to June 2005, 65,438 438+ 10/0, Ph.D. students majoring in computer software and theory studied in the Computer Department of Shanghai Jiaotong University, and received their doctorate in March 2006.
Academic part-time job
ACM member, senior member of China Computer Federation.
Member of Professional Committee of System Software and Theoretical Computer Science of China Computer Federation.
YOCSEF Shanghai Academic Member and Excellent Academic Secretary
Journal of Software and Computer Research and Development, reviewer of China Computer Journal.
Director of National Linux Technology Training and Promotion Center of Shanghai Jiaotong University
Winning record
1. Excellent Science and Technology Innovation Tutor of School of Software, Shanghai Jiaotong University (20 10)
2. "My Favorite 10 Works Award" of the 3rd National Innovation Forum for College Students of the Ministry of Education (20 10, tutor)
3. Third Prize of Excellent Teachers of Shanghai Jiaotong University (2009)
4. Gold Award in the 2nd ICT International Youth Technological Innovation Competition (2009, tutor)
5. The second prize of Morningstar Young Scholars and Outstanding Young Teachers (2009)
project
1. General Project of Natural Science Foundation: Research on Real-time Predictable Online Analysis of Large-scale Distributed Systems.
2. General Project of Natural Science Foundation: Research on Energy Saving of Green Data Center Based on Elastic Virtual Pool
3. Microsoft Young Teachers Fund: specialized model testing.
4. Shanghai basic research focus: formal verification of virtualized real-time concurrent programs based on rewriting logic.
5.IBMSUR project: distributed binary translation
representative works
translate
Advanced programming in UNIX environment (2nd edition, TOP50 in 2008 and 2009), W. Richard Stevens, Stephana Rago, translator: You Jinyuan, Qi, Machinery Industry Press, 2006.
Development and application of embedded GIS, Qi, Fu Guoqing, Cai et al. , Tsinghua University Publishing House, 2009.
Linux Development-Environmental Programming Technology, Qi, Shanghai Foreign Language Education Press, 2008.
Understanding Hardware Virtual Machines, Qi, Tsinghua University Publishing House, forthcoming.
thesis
Zhengqi Point, Mingluli Point, Chengfu Point, Dongyu's Point and Jinyuanyou Point. membrane calculus:AFormalMethodforGridTransactions。 concurrency and computation:practice index experience，2006， 18( 14): 1725- 1728。
Zheng Wei Qi, Jin Yuanyou. Formal ofPSystemsbyMaude. Journal of Shanghai Jiaotong University (English version), 2005, 10(3):260-264.
Ming Yuan Xia, Miaoyu, Zhengqi Point, Anhai Bingguan. Joan:shepherdaplicationprivacy with virtualized specialpurposememory。 Vancouver, Canada,1October 4-620 10.
Geng Biao Chen, Zhuo Wang, Ruo Yuzhang, Kangzhou, Shi Qiuhuang, Kang Qini, Zheng Weiqi, Chen Kai, Hai Bingguan: Refined and compiled to generate highly readable code. wcre 20 10: 150- 154
Zhu Min, Miao Yu, Pei Jieyu, Shanggao and Zheng Weiqi. VASP: a virtualized auxiliary security monitor for cross-platform protection. Proceedings of ACM 26 thSymposiumonappledcomputing (SAC), Taiwan Province, China, March 21-25201.
Qian Lin, Ming Yuanxia, Miao Yu, Pei Jieyu, Zhu Min, Shanggao and political commissar Qian Haibing pass. SPAD: Software protection hardware virtualization through debugging. Proceedings of ACM 26 thSymposiumonappledcomputing (SAC), Taiwan Province, China, March 21-25201.
Nakajima Jun, Qian Lin, Shenyang, Zhu Min, Shanggao, Mingyuanxia, Pei Jieyu, Yaozu Cave, and Zhenghe Qianhai are in charge. Optimizing Virtual Machines Using Hybrid Virtualization. Procedures of ACM 26 thSymposiums of Applied Compiling (SAC), Taiwan Province, China, March 21-25201.
Ming Yuanxia, Miao Yu, Qian Lin, Zheng Weiqi, and Hai Bingguan: Enhanced PirageMovement of Commodity Software on Virtualized Platform. ICPADS20 10:275-282
Zheng Weiqi, Liu Liang, Alek, Wang Hao, Chen Ying: Anonline Model Checking Tool for Safety and LivenessBugs. 2008 International Conference on Population and Development: 493-500 people
Qi, you Jinyuan. Formal description and verification of Web service transactions based on cell membrane calculus. Chinese journal of computers, China, 2006,29 (7):1137-1144.