Introducción al personaje de Qi Zhengwei
Qi Zhengwei
Qi Zhengwei, profesor, profesor, software de sistemas de virtualización, análisis de programas, seguridad de sistemas y redes, Internet móvil.
Nombre chino: Qi Zhengwei
Nombre extranjero: qizhengwei
Nacionalidad: china
Etnia: Han
Ocupación: Profesor
Institución de graduación: Universidad Jiao Tong de Shanghai
Principales logros: "Premio Mis 10 Obras Favoritas" en el 3er Foro Nacional de Innovación de Estudiantes Universitarios del Ministerio de Educación
Trabajos representativos: desarrollo y aplicación de SIG integrados, Qi Zhengwei, Fu Guoqing, Cai Songlu, etc., Tsinghua University Press, 2009.
Antecedentes educativos
Licenciatura de Northwestern Polytechnical University en 1999 Graduado con una licenciatura
Graduado con una maestría de Northwestern Polytechnical University en 2002
De marzo de 2002 a octubre de 2005, estudió software y teoría de computación en el Departamento Doctor en Ciencias de la Computación, Universidad Jiao Tong de Shanghai, obtuvo el doctorado en marzo de 2006
Trabajo académico a tiempo parcial
Miembro de ACM, miembro senior de la Federación de Computación de China
Software del sistema de la Federación de Computación de China, computadora teórica Miembro del Comité Científico
Comité Académico de YOCSEF Shanghai, Excelente Secretario Académico
Revista de Software, Investigación y Desarrollo de Computadoras, Revisor de la Revista de Computadoras
Director Nacional del Centro de Capacitación y Promoción de Tecnología Linux de la Universidad Jiaotong de Shanghai
Estado premiado
1. Instructor científico y tecnológico destacado, Escuela de Software, Universidad Shanghai Jiao Tong (2010)
2. Ministerio de Educación El 3er Foro Nacional de Innovación para Estudiantes Universitarios "Premio Mis 10 Trabajos Favoritos" (2010, instructor)
3. Tercer Premio Docente Destacado Universitario (2009)
4. Medalla de Oro del Segundo Concurso Internacional de Innovación Tecnológica Juvenil TIC (2009, mentor)
Segundo Premio Jóvenes Académicos Destacados Morning Star. Talento de reserva de profesores jóvenes (2009)
Proyecto de investigación científica
1 Proyecto general de la Fundación de Ciencias Naturales: Investigación sobre análisis en línea predecible en tiempo real de sistemas distribuidos a gran escala
2. Proyecto general de la Fundación de Ciencias Naturales: Ecosistema verde basado en la investigación sobre ahorro de energía del centro de datos Elastic Virtual Pool
3. Microsoft Young Teacher Fund: verificación de modelos especializados para errores de concurrencia relacionados con pedidos
4. Enfoque de investigación básica de Shanghai: Verificación formal de programas concurrentes virtualizados en tiempo real basados en lógica de reescritura
5.Proyecto IBMSUR: Traducción Binaria Distribuida
Trabajos Representativos
Obras traducidas
Programación avanzada en entorno UNIX (segunda edición, 2008, lista anual de bestsellers TOP50 de 2009), (EE. UU.) W. Richard Stevens, Stephen A. Rago, traductor: You Jinyuan, Zhang Yaying , Qi Zhengwei, Machinery Industry Press, 2006
Desarrollo y aplicación de SIG integrados, Qi Zhengwei, Fu Guoqing, Cai Songlu, etc., Tsinghua University Press, 2009.
Desarrollo de Linux - Environmental Programming Technology, editado por Qi Zhengwei, Shanghai Foreign Language Education Press, 2008
NewBluePill: In-profundo entendimiento de las máquinas virtuales de hardware, Yu Miao y Qi Zhengwei, Tsinghua University Press, de próxima aparición.
Papel
ZhengweiQi, MingluLi, ChengFu, DongyuShi, JinyuanYou.MembraneCalculus:AFormalMethodforGridTransactions.ConcurrencyandComputation: PracticeandExperience,2006,18(14):1725-1728.
ZhengweiQi,JinyuanYou .FormalizationofPSystemsbyMaude.JournalofShanghaiJiaoTongUniversity (inglés), 2005,10(3):260-264.
MingyuanXia, MiaoYu, ZhengweiQi y HaibingGuan.
Joan: ShepherdApplicationPrivacywithVirtualizedSpecialPurposeMemory.Posterfor9thUSENIXSymposiumonOperatingSystemsDesignandImplementation(OSDIposter),Vancouver,Canadá,octubre4-62010.
GengbiaoChen,ZhuoWang,RuoyuZhang,KanZhou,ShiqiuHuang,KangqiNi,ZhengiQi,KaiChe n, HaibingGuan: un descompilador refinado para generar código CC con alta legibilidad. WCRE2010: 150-154
MinZhu,MiaoYu,PeijieYu,ShangGaoyZhengweiQi.VASP: Monitor de seguridad asistido por virtualización para protección multiplataforma. Actas del 26º Simposio ACM sobre informática aplicada (SAC), Taiwán, China, 21-25 de marzo de 2011.
QianLin, MingyuanX ia, MiaoYu ,PeijieYu, MinZhu, ShangGao, ZhengweiQian y HaibingGuan.SPAD: Protección de software mediante antidepuración mediante virtualización de hardware. Actas del 26º Simposio sobre informática aplicada (SAC) del CM, Taiwán, China, 21-25 de marzo de 2011.
JunNakajima, QianLin, ShengYang, MinZhu, ShangGao, Ming yuanXia,PeijieYu,YaozuDong, ZhengweiQian y HaibingGuan. Optimización de máquinas virtuales mediante virtualización híbrida. Actas del 26º Simposio sobre informática aplicada (SAC) de ACM, Taiwán, China, 21-25 de marzo de 2011.
MingyuanXia,MiaoYu,QianLin,ZhengweiQi,HaibingGuan: Separación de privilegios mejorada paraCommoditySoft. wareonVirtualizedPlatform.ICPADS2010:275-282
ZhengweiQi, LiangLiu,AleiLiang, HaoWang,YingChen:AnOnlineModelCheckingToolforSafetyandLivenessBugs.ICPADS2008:493-500
Qi Zhengwei, You Jinyuan. Descripción formal y verificación del procesamiento de transacciones de servicios web basado en el cálculo de membrana celular Journal of Computer Science, 2006. 29(7):1137-1144