stringtranslate.com

Él Jifeng

He Jifeng ( chino simplificado :何积丰; chino tradicional :何積豐; pinyin : Hé Jīfēng , nacido en agosto de 1943) es un informático chino . [1] [2]

He Jifeng se graduó en el departamento de matemáticas de la Universidad de Fudan en 1965. [3] De 1965 a 1985, fue profesor en la Universidad Normal del Este de China . Durante 1980-81, fue profesor visitante en la Universidad de Stanford y la Universidad de San Francisco en California , Estados Unidos. [2]

De 1984 a 1998, He Jifeng fue investigador principal en el Grupo de Investigación de Programación del Laboratorio de Computación de la Universidad de Oxford (actualmente el Departamento de Ciencias de la Computación de la Universidad de Oxford ). [2] 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 Teorías Unificadoras de la Programación , lo que dio 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. [4] En 1996, también se convirtió en profesor de Ciencias de la Computación en la Universidad Jiao Tong de Shanghai .

En 1998, se convirtió en investigador principal en el Instituto Internacional de Tecnología de Software (UNU-IIST), Universidad de las Naciones Unidas , con sede en Macao . [2] 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, estándares y técnicas para diseñar e implementar esas especificaciones en software y/o hardware con alta confiabilidad. [2]

En 2005, fue elegido miembro de la Academia China de Ciencias . En 2013, su 70 cumpleaños se celebró en la Universidad Normal del Este de China con un Festschrift internacional de tres días en asociación con la Conferencia Internacional sobre Aspectos Teóricos de la Computación (ICTAC). [5] [6] Diez años después, en 2023, su 80 cumpleaños se celebró en el Salón de Ciencias de Shanghái con un Simposio Festschrift internacional híbrido de dos días . [7] [8] Desde 2019, ha sido profesor distinguido en la Universidad Tongji en Shanghái. [2]

Libros

He Jifeng ha escrito varios libros sobre informática, entre ellos: [9]

Referencias

  1. ^ "He Jifeng". www.namesviews.com . Brainstorm. Archivado desde el original el 9 de septiembre de 2012 . Consultado el 9 de abril de 2012 .
  2. ^ abcdef Bowen, Jonathan P .; Zhu, Huibiao (2023). "Jifeng He en Oxford y más allá: una apreciación". En Bowen, Jonathan P .; Li, Qin; Xu, Qiwen (eds.). Teorías de programación y métodos formales: ensayos dedicados a Jifeng He con motivo de su 80.º cumpleaños . Apuntes de clase en informática . Vol. 14080. Springer . págs. 3–18. doi :10.1007/978-3-031-40436-8_1. ISBN 978-3-031-40435-1.
  3. ^ "He Jifeng, experto en software informático". 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 .
  4. ^ He Jifeng Archivado el 27 de febrero de 2012 en Wayback Machine , Universidad Normal del Este de China , China.
  5. ^ "Simposio de la Festschrift en honor a He Jifeng". Shanghái, 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 .
  6. ^ 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 clase en informática . Vol. 8051. Springer . doi :10.1007/978-3-642-39698-4. ISBN 978-3-642-39697-7. Número de identificación del sujeto  28825617.
  7. ^ "Webinar: Jifeng@80: Teorías de programación y métodos formales". BCS . 15-16 de septiembre de 2023 . Consultado el 30 de septiembre de 2023 .
  8. ^ Bowen, Jonathan P .; Li, Qin; Xu, Qiwen, eds. (2023). Teorías de programación y métodos formales: ensayos dedicados a Jifeng He con motivo de su 80.º cumpleaños . Apuntes de clase en informática . Vol. 14080. Springer . doi :10.1007/978-3-031-40436-8. ISBN. 978-3-031-40435-1.S2CID261585921  .​
  9. ^ "Libros de He Jifeng". Amazon.com .

Enlaces externos