He Jifeng ( chino simplificado :何 积 丰; chino tradicional :何 積 豐; pinyin : Hé Jīfēng , nacido en agosto de 1943) es un informático chino . [1]
He Jifeng (何 积 丰) | |
---|---|
Nació | Agosto de 1943 Shanghái , China |
Nacionalidad | chino |
alma mater | Universidad de Fudan |
Conocido por | Unificando las teorías de la programación |
Carrera científica | |
Campos | Informática , métodos formales |
Instituciones | Universidad Normal del Este de China Universidad de Oxford Universidad Jiao Tong de Shanghai Universidad de las Naciones Unidas |
Influencias | Tony Hoare |
Él Jifeng se graduó en el departamento de matemáticas de la Universidad de Fudan en 1965. [2] De 1965 a 1985, fue instructor en la Universidad Normal del Este de China . Durante 1980-81, fue profesor invitado en la Universidad de Stanford y la Universidad de San Francisco en California , Estados Unidos.
De 1984 a 1998, He Jifeng fue investigador senior en el Grupo de Investigación de Programación en el Laboratorio de Computación de la Universidad de Oxford (ahora el Departamento de Ciencias de la Computación de la Universidad de Oxford ). Trabajó extensamente en aspectos formales de la ciencia de la computación . En particular, trabajó con el profesor Sir Tony Hoare , más tarde en Unifying Theories of Programming , dando como resultado un libro con ese nombre.
Desde 1986, He Jifeng ha sido profesor de Ciencias de la Computación en la Universidad Normal del Este de China en Shanghai. [3] En 1996, también se convirtió en profesor de informática en la Universidad Jiao Tong de Shanghai .
En 1998, se convirtió en investigador principal del Instituto Internacional de Tecnología de Software (UNU-IIST) de la Universidad de las Naciones Unidas , con sede en Macao . Regresó a Shanghai en 2005.
Los intereses de investigación de He Jifeng incluyen métodos sólidos para la especificación de sistemas informáticos, comunicaciones, aplicaciones y estándares, y técnicas para diseñar e implementar esas especificaciones en software y / o hardware con alta confiabilidad.
En 2005, fue elegido miembro de la Academia de Ciencias de China . En 2013, su 70 cumpleaños se celebró en la East China Normal University con un Festschrift internacional de tres días en asociación con la Conferencia Internacional sobre Aspectos Teóricos de la Computación (ICTAC). [4] [5]
Libros
He Jifeng ha escrito varios libros de informática, que incluyen: [6]
- He Jifeng, Sistemas demostrablemente correctos: modelado de lenguajes de comunicación y diseño de compiladores optimizados . McGraw-Hill International Series in Software, 1995. ISBN 978-0-07-709052-4 .
- CAR Hoare y He Jifeng, Teorías unificadas de programación . Prentice Hall International Series in Computer Science , 1998. ISBN 978-0-13-458761-5 .
- Zhiming Liu y He Jifeng, Marcos matemáticos para software de componentes: modelos para análisis y síntesis . World Scientific Publishing Company , Serie sobre desarrollo de software basado en componentes, 2007. ISBN 978-981-270-017-9 .
Referencias
- ^ "Él Jifeng" . www.namesviews.com . Idea genial. Archivado desde el original el 9 de septiembre de 2012 . Consultado el 9 de abril de 2012 .
- ^ "Él experto en software de computadora de Jifeng" . Instituto de Ingeniería de Servicios de Hangzhou ], Universidad Normal de Hangzhou . Archivado desde el original el 27 de septiembre de 2013 . Consultado el 9 de abril de 2012 .
- ^ He Jifeng , Universidad Normal de China Oriental , China.
- ^ "Simposio de Festschrift en honor de He Jifeng" . Shanghai, China: Universidad Normal del Este de China . 1-3 de septiembre de 2013. Archivado desde el original el 26 de septiembre de 2013 . Consultado el 13 de septiembre de 2013 .
- ^ Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao, eds. (2013). Teorías de programación y métodos formales: ensayos dedicados a Jifeng He con motivo de su 70 cumpleaños . Apuntes de conferencias en informática . 8051 . Springer . doi : 10.1007 / 978-3-642-39698-4 . ISBN 978-3-642-39697-7.
- ^ "Libros de He Jifeng" . Amazon.com .
enlaces externos
- Página de inicio de He Jifeng (en inglés)
- Jifeng He en el servidor de bibliografía DBLP
- Lista de publicaciones de Microsoft Academic