Red de conocimiento informático - Espacio del host - Introducción al personaje de Qi Zhengwei

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